Doing the commit so that files can be taged.

[splint.git] / configure.binary

diff --git a/configure.binary b/configure.binary
index 7bf8c6e53e211cf6967253b85b7623c72d7a6ef5..46e0446178eb6ceb46161d91397969be47bff8e2 100755 (executable)
--- a/configure.binary
+++ b/configure.binary
@@ -3173,7 +3173,7 @@ cat >>confdefs.h <<EOF
 #define TARGET_OS "${target_os}"
 EOF
 
-ac_config_files="$ac_config_files Makefile imports/Makefile lib/Makefile doc/Makefile preBuilt/Makefile"
+ac_config_files="$ac_config_files Makefile imports/Makefile lib/Makefile doc/Makefile bin/Makefile"
 
 cat >confcache <<\_ACEOF
 # This file is a shell script that caches the results of configure
@@ -3498,7 +3498,7 @@ do
   "imports/Makefile" ) CONFIG_FILES="$CONFIG_FILES imports/Makefile" ;;
   "lib/Makefile" ) CONFIG_FILES="$CONFIG_FILES lib/Makefile" ;;
   "doc/Makefile" ) CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;;
-  "preBuilt/Makefile" ) CONFIG_FILES="$CONFIG_FILES preBuilt/Makefile" ;;
+  "bin/Makefile" ) CONFIG_FILES="$CONFIG_FILES bin/Makefile" ;;
   "default-1" ) CONFIG_COMMANDS="$CONFIG_COMMANDS default-1" ;;
   "config.h" ) CONFIG_HEADERS="$CONFIG_HEADERS config.h:config.hin" ;;
   *) { { echo "$as_me:3504: error: invalid argument: $ac_config_target" >&5