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"
 
+       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