Admin/isatest/isatest-makeall
changeset 50129 e69db78b36d6
parent 49978 c163145dd40f
child 50149 aaf276a28551
equal deleted inserted replaced
50128:599c935aac82 50129:e69db78b36d6
    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"
    50 BUILD_ARGS="-v -o timeout=3600"
    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         ;;