8027 |
|
|
8028 |
|
ac_config_headers="$ac_config_headers src/config.h" |
8029 |
|
|
8030 |
< |
ac_config_files="$ac_config_files make/Makefile" |
8030 |
> |
ac_config_files="$ac_config_files make/Makefile src/utils/Makefile" |
8031 |
|
|
8032 |
|
|
8033 |
|
cat >confcache <<\_ACEOF |
8559 |
|
case "$ac_config_target" in |
8560 |
|
# Handling of arguments. |
8561 |
|
"make/Makefile" ) CONFIG_FILES="$CONFIG_FILES make/Makefile" ;; |
8562 |
+ |
"src/utils/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/utils/Makefile" ;; |
8563 |
|
"src/utils/getopt.h" ) CONFIG_LINKS="$CONFIG_LINKS src/utils/getopt.h:src/utils/gnugetopt.h" ;; |
8564 |
|
"src/config.h" ) CONFIG_HEADERS="$CONFIG_HEADERS src/config.h" ;; |
8565 |
|
*) { { echo "$as_me:$LINENO: error: invalid argument: $ac_config_target" >&5 |