+Debug build scripts.

[nethome.git] / bin / errs2

diff --git a/bin/errs2 b/bin/errs2
new file mode 100755 (executable)
index 0000000..974cdc0
--- /dev/null
+++ b/bin/errs2
@@ -0,0 +1,12 @@
+#! /bin/sh
+# $Id$
+
+args=""
+if [ "$1" = "-a" ];then
+       args="$args $1"
+       shift
+fi
+(
+       set -ex
+       make "$@"
+       ) 2>&1|tee $args errs2