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
Rename.
[nethome.git]
/
bin
/
errs12
diff --git
a/bin/errs1
b/bin/errs12
similarity index 96%
rename from
bin/errs1
rename to
bin/errs12
index
43cda29
..
de5912d
100755
(executable)
--- a/
bin/errs1
+++ b/
bin/errs12
@@
-119,7
+119,13
@@
rm -f errs1.ok
export CXXFLAGS_FOR_TARGET="$flags"
export LDFLAGS="$ldflags"
export CXXFLAGS_FOR_TARGET="$flags"
export LDFLAGS="$ldflags"
+ ctags
+ test -d gdb && (cd gdb; ctags; cd testsuite; ctags; cd ../gdbserver; ctags)
+
time nice "$configure" $target $targets $customss --enable-debug --disable-sim $maintainer $werror --with-separate-debug-dir=/usr/lib/debug "$@"
time nice "$configure" $target $targets $customss --enable-debug --disable-sim $maintainer $werror --with-separate-debug-dir=/usr/lib/debug "$@"
+
+ errs2
+
touch errs1.ok
) 2>&1|tee errs1
test -f errs1.ok
touch errs1.ok
) 2>&1|tee errs1
test -f errs1.ok