equal
deleted
inserted
replaced
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 ;; |