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 -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##*/} |