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" ;; |