From: lace <>
Date: Thu, 8 Mar 2007 00:49:25 +0000 (+0000)
Subject: +--origss
X-Git-Url: https://git.jankratochvil.net/?a=commitdiff_plain;h=34369c9a9d461b0ad58813248a02ace048b70fd7;p=nethome.git

+--origss
---

diff --git a/bin/errs1 b/bin/errs1
index 43d99b8..5637f9d 100755
--- a/bin/errs1
+++ b/bin/errs1
@@ -6,6 +6,11 @@ if [ "${1#*/configure}" != "$1" ];then
 	configure="$1"
 	shift
 fi
+customss="--enable-static --disable-shared"
+if [ "$1" = "--origss" ];then
+	customss=
+	shift
+fi
 (
 	set -ex
 	rm -f config.cache
@@ -13,5 +18,5 @@ fi
 	export CFLAGS="$flags"
 	export CXXFLAGS="$flags"
 	export GCJFLAGS="$flags"
-	time nice "$configure" --enable-static --disable-shared --enable-debug "$@"
+	time nice "$configure" $customss --enable-debug "$@"
 	) 2>&1|tee errs1