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