git://git.jankratochvil.net
/
nethome.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c71679f
)
Rename.
author
jkratoch
<>
Wed, 1 Sep 2010 08:30:45 +0000
(08:30 +0000)
committer
jkratoch
<>
Wed, 1 Sep 2010 08:30:45 +0000
(08:30 +0000)
Run also errs2.
Run also ctags.
bin/errs12
[moved from
bin/errs1
with 96% similarity]
patch
|
blob
|
history
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"
+ 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 "$@"
+
+ errs2
+
touch errs1.ok
) 2>&1|tee errs1
test -f errs1.ok