X-Git-Url: https://git.jankratochvil.net/?p=nethome.git;a=blobdiff_plain;f=bin%2Ferrs1;h=5637f9d36da636d1a288047b34ce469506993db3;hp=43d99b89c6a0b9bd627d857a0ae39e78e9fe11af;hb=34369c9a9d461b0ad58813248a02ace048b70fd7;hpb=629f5bb3d5d142e170cd18445b92c5b1fd061ebe

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