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
init
[nethome.git]
/
bin
/
errs1
diff --git
a/bin/errs1
b/bin/errs1
index
69fe5c1
..
65903c8
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
@@
-117,4
+120,9
@@
done
export LDFLAGS="$ldflags"
time nice "$configure" $target $targets $customss --enable-debug $maintainer $werror "$@"
export LDFLAGS="$ldflags"
time nice "$configure" $target $targets $customss --enable-debug $maintainer $werror "$@"
+ touch errs1.ok
) 2>&1|tee errs1
) 2>&1|tee errs1
+test -f errs1.ok
+rc=$?
+rm -f errs1.ok
+exit $rc