Changeset 95c7f0c


Ignore:
Timestamp:
Jul 6, 2011, 1:34:46 AM (13 years ago)
Author:
GitHub Merge Button <merge-button@github.com>
Parents:
901cee9 (diff), 401752a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:
Merge 401752a309e8f11f694cfb3aa0e83b2af771e958 into 901cee9b7ebc203aee860a9c5fc3849ed3527532
File:
1 edited

Legend:

Unmodified
Added
Removed
  • scripts/locker-build

    r4f5e38f r401752a  
    119119    $MAKE -j$CPUS all || die "make failed"
    120120
     121    $MAKE check || die "Unit tests failed"
     122
    121123    if [ -n "$DRYRUN" ]; then
    122124        echo "Build completed; Dropping to a shell..."
Note: See TracChangeset for help on using the changeset viewer.