git://git.jankratochvil.net
/
nethome.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of ssh://vps.jankratochvil.net/var/lib/git/nethome
[nethome.git]
/
bin
/
errs2
diff --git
a/bin/errs2
b/bin/errs2
index
2ba4f45
..
17548cb
100755
(executable)
--- a/
bin/errs2
+++ b/
bin/errs2
@@
-1,17
+1,32
@@
-#! /bin/sh
-# $Id$
+#! /bin/bash
+
+renice +19 -p $$; ionice -c3 -p $$
args=""
if [ "$1" = "-a" ];then
args="$args $1"
shift
fi
args=""
if [ "$1" = "-a" ];then
args="$args $1"
shift
fi
+out=errs2
+if [ "$1" = "-n" ];then
+ out="$2"
+ shift 2
+fi
j=""
cpus="`getconf _NPROCESSORS_ONLN`"
if [ -n "$cpus" ];then
j="-j$[$cpus*3/2]"
fi
j=""
cpus="`getconf _NPROCESSORS_ONLN`"
if [ -n "$cpus" ];then
j="-j$[$cpus*3/2]"
fi
+rm -f $out.ok
(
set -ex
time nice make $j "$@"
(
set -ex
time nice make $j "$@"
- ) 2>&1|tee $args errs2
+ if [ -d gdb/testsuite ];then
+ make -C gdb/testsuite site.exp
+ fi
+ touch $out.ok
+ ) 2>&1|tee $args $out
+test -f $out.ok
+rc=$?
+rm -f $out.ok
+exit $rc