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


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • tools/check.sh

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