Changeset 980 for trunk/run


Ignore:
Timestamp:
2012-07-17T06:14:44+02:00 (2 years ago)
Author:
moo
Message:

fix make args

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/run

    r977 r980  
    1515fi 
    1616 
    17 LANG=C /usr/bin/make $MAKEOPTS "$@" 2>&1 | hi error warn FAIL 
    18 ret=${PIPESTATUS[0]} 
    19 if [[ $ret -ne 0 ]]; then 
    20     exit $ret 
    21 fi 
    22  
    2317if [[ ! -z $1 ]]; then 
    2418    type=$1 
     
    3024        args=(test.php) 
    3125    fi 
     26fi 
     27 
     28if [[ $type = make ]]; then 
     29    MAKEARGS=("$@") 
     30fi 
     31 
     32LANG=C /usr/bin/make $MAKEOPTS "${MAKEARGS[@]}" 2>&1 | hi error warn FAIL 
     33ret=${PIPESTATUS[0]} 
     34if [[ $ret -ne 0 || $type = make ]]; then 
     35    exit $ret 
    3236fi 
    3337 
     
    5559 
    5660case "$type" in 
    57 make) 
    58     exit 
    59     ;; 
    6061ltr*) 
    6162    export USE_ZEND_ALLOC=0 
Note: See TracChangeset for help on using the changeset viewer.