X-Git-Url: https://git.jankratochvil.net/?p=nethome.git;a=blobdiff_plain;f=bin%2Ferrs1;h=43cda292493ed2e0a748e08de0d5d75537593e31;hp=69fe5c1d5d1802c97ccfc41d66fa27682b81f797;hb=9941dd67625f104aeb2954ff1942bc7b1b0df549;hpb=ca18ab13ded9b51422c624379f66683283f57305

diff --git a/bin/errs1 b/bin/errs1
index 69fe5c1..43cda29 100755
--- 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