Run also `package-cleanup --cleandupes'.

[nethome.git] / bin / errs1

diff --git a/bin/errs1 b/bin/errs1
index 69fe5c1..43cda29 100755 (executable)
--- a/bin/errs1
+++ b/bin/errs1
@@ -1,6 +1,8 @@
 #! /bin/sh
 # $Id$
 
+renice +19 -p $$; ionice -c3 -p $$
+
 customss="--enable-static --disable-shared"
 customm="-m64"
 target=
@@ -61,6 +63,7 @@ do
        break
 done
 
+rm -f errs1.ok
 (
        set -ex
        find -name config.cache|xargs rm -f
@@ -116,5 +119,10 @@ done
        export CXXFLAGS_FOR_TARGET="$flags"
        export LDFLAGS="$ldflags"
 
-       time nice "$configure" $target $targets $customss --enable-debug $maintainer $werror "$@"
+       time nice "$configure" $target $targets $customss --enable-debug --disable-sim $maintainer $werror --with-separate-debug-dir=/usr/lib/debug "$@"
+       touch errs1.ok
        ) 2>&1|tee errs1
+test -f errs1.ok
+rc=$?
+rm -f errs1.ok
+exit $rc