From: jkratoch <>
Date: Wed, 1 Sep 2010 08:30:45 +0000 (+0000)
Subject: Rename.
X-Git-Url: https://git.jankratochvil.net/?p=nethome.git;a=commitdiff_plain;h=567a52f04f9c984cca639365c680d2317ac3526f

Rename.
Run also errs2.
Run also ctags.
---

diff --git a/bin/errs1 b/bin/errs12
similarity index 96%
rename from bin/errs1
rename to bin/errs12
index 43cda29..de5912d 100755
--- 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