From 28f622fe2fa960d80234cb80ddd88381cca63867 Mon Sep 17 00:00:00 2001
From: jkratoch <>
Date: Tue, 24 Nov 2009 22:48:05 +0000
Subject: [PATCH] +--disable-sim

---
 bin/errs1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/errs1 b/bin/errs1
index 65903c8..9cf807a 100755
--- a/bin/errs1
+++ b/bin/errs1
@@ -119,7 +119,7 @@ rm -f errs1.ok
 	export CXXFLAGS_FOR_TARGET="$flags"
 	export LDFLAGS="$ldflags"
 
-	time nice "$configure" $target $targets $customss --enable-debug $maintainer $werror "$@"
+	time nice "$configure" $target $targets $customss --enable-debug --disable-sim $maintainer $werror "$@"
 	touch errs1.ok
 	) 2>&1|tee errs1
 test -f errs1.ok
-- 
1.8.3.1