Changes in tools/check.sh [ec351c3:eb221e5] in mainline


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • tools/check.sh

    rec351c3 reb221e5  
    6666do
    6767        echo -n ">>>> Building $P... "
    68         ( make distclean && make PROFILE=$P HANDS_OFF=y "$@" ) >>/dev/null 2>>/dev/null
     68        ( make distclean && make PROFILE=$P HANDS_OFF=y $1 ) >>/dev/null 2>>/dev/null
    6969        if [ $? -ne 0 ];
    7070        then
Note: See TracChangeset for help on using the changeset viewer.