|
version 1.1, 2010/02/23 22:54:51
|
version 1.2, 2010/03/09 09:26:27
|
|
Line 4556 fi
|
Line 4556 fi
|
| { $as_echo "$as_me:$LINENO: result: $DEBUG" >&5 |
{ $as_echo "$as_me:$LINENO: result: $DEBUG" >&5 |
| $as_echo "$DEBUG" >&6; } |
$as_echo "$DEBUG" >&6; } |
| |
|
| ac_config_files="$ac_config_files Makefile example/Makefile inc/Makefile lib/Makefile src/Makefile" | ac_config_files="$ac_config_files Makefile inc/Makefile lib/Makefile src/Makefile" |
| |
|
| cat >confcache <<\_ACEOF |
cat >confcache <<\_ACEOF |
| # This file is a shell script that caches the results of configure |
# This file is a shell script that caches the results of configure |
|
Line 5144 do
|
Line 5144 do
|
| case $ac_config_target in |
case $ac_config_target in |
| "inc/config.h") CONFIG_HEADERS="$CONFIG_HEADERS inc/config.h" ;; |
"inc/config.h") CONFIG_HEADERS="$CONFIG_HEADERS inc/config.h" ;; |
| "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; |
"Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; |
| "example/Makefile") CONFIG_FILES="$CONFIG_FILES example/Makefile" ;; |
|
| "inc/Makefile") CONFIG_FILES="$CONFIG_FILES inc/Makefile" ;; |
"inc/Makefile") CONFIG_FILES="$CONFIG_FILES inc/Makefile" ;; |
| "lib/Makefile") CONFIG_FILES="$CONFIG_FILES lib/Makefile" ;; |
"lib/Makefile") CONFIG_FILES="$CONFIG_FILES lib/Makefile" ;; |
| "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; |
"src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; |