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
Change *-cvs-bare cache dirs to *-cvs-master.
[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$
#! /bin/sh
# $Id$
+renice +19 -p $$; ionice -c3 -p $$
+
customss="--enable-static --disable-shared"
customm="-m64"
target=
customss="--enable-static --disable-shared"
customm="-m64"
target=
@@
-61,6
+63,7
@@
do
break
done
break
done
+rm -f errs1.ok
(
set -ex
find -name config.cache|xargs rm -f
(
set -ex
find -name config.cache|xargs rm -f
@@
-116,5
+119,10
@@
done
export CXXFLAGS_FOR_TARGET="$flags"
export LDFLAGS="$ldflags"
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
) 2>&1|tee errs1
+test -f errs1.ok
+rc=$?
+rm -f errs1.ok
+exit $rc