Admin/isatest/isatest-makeall
changeset 50149 aaf276a28551
parent 50129 e69db78b36d6
child 58423 e4d540c0dd57
equal deleted inserted replaced
50147:8d2251b9a200 50149:aaf276a28551
    45 [ "$#" -lt "1" ] && usage
    45 [ "$#" -lt "1" ] && usage
    46 
    46 
    47 [ -d $DISTPREFIX ] || fail "$DISTPREFIX is not a directory."
    47 [ -d $DISTPREFIX ] || fail "$DISTPREFIX is not a directory."
    48 
    48 
    49 # build args and nice setup for different target platforms
    49 # build args and nice setup for different target platforms
    50 BUILD_ARGS="-v -o timeout=3600"
    50 BUILD_ARGS="-v"
    51 NICE="nice"
    51 NICE="nice"
    52 case $HOSTNAME in
    52 case $HOSTNAME in
    53     macbroy2 | macbroy6 | macbroy30)
    53     macbroy2 | macbroy6 | macbroy30)
    54         NICE=""
    54         NICE=""
    55         ;;
    55         ;;
    82 log "starting [$@]"
    82 log "starting [$@]"
    83 
    83 
    84 for SETTINGS in $@; do
    84 for SETTINGS in $@; do
    85 
    85 
    86     [ -r $SETTINGS ] || fail "Cannot read $SETTINGS."
    86     [ -r $SETTINGS ] || fail "Cannot read $SETTINGS."
       
    87 
       
    88     case "$SETTINGS" in
       
    89       *sml*)
       
    90         BUILD_ARGS="-o timeout=36000 $BUILD_ARGS"
       
    91         ;;
       
    92       *)
       
    93         BUILD_ARGS="-o timeout=3600 $BUILD_ARGS"
       
    94         ;;
       
    95     esac
    87 
    96 
    88     # logfile setup
    97     # logfile setup
    89 
    98 
    90     DATE=$(date "+%Y-%m-%d")
    99     DATE=$(date "+%Y-%m-%d")
    91     SHORT=${SETTINGS##*/}
   100     SHORT=${SETTINGS##*/}