diff -u -r1.72 -r1.73
--- configure	25 Jun 2009 18:33:01 -0000	1.72
+++ configure	25 Jun 2009 18:37:25 -0000	1.73
@@ -3193,30 +3193,6 @@

-if test -z scripts/mokka.sh
-then
-  { { echo "$as_me:$LINENO: error: \"Missing config file to add.\"" >&5
-echo "$as_me: error: \"Missing config file to add.\"" >&2;}
-   { (exit 1); exit 1; }; }
-fi
-
-config_files="$config_files"scripts/mokka.sh" "
-
-
-
-
-if test -z scripts/bdsim.sh
-then
-  { { echo "$as_me:$LINENO: error: \"Missing config file to add.\"" >&5
-echo "$as_me: error: \"Missing config file to add.\"" >&2;}
-   { (exit 1); exit 1; }; }
-fi
-
-config_files="$config_files"scripts/bdsim.sh" "
-
-
-
-

 if test -z Makefile
 then
   { { echo "$as_me:$LINENO: error: \"Missing config file to add.\"" >&5