Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset ec351c3 in mainline


Ignore:
Timestamp:
2012-03-30T06:31:43Z (10 years ago)
Author:
Vojtech Horky <vojtechhorky@…>
Branches:
lfn, master
Children:
85d2fe2e, abb8737
Parents:
a9a6d8d
Message:

check.sh: pass through all arguments

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/check.sh

    ra9a6d8d 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.