diff options
Diffstat (limited to 'boehm-gc/configure')
| -rwxr-xr-x | boehm-gc/configure | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/boehm-gc/configure b/boehm-gc/configure index 0f659721a87..36243d4c58b 100755 --- a/boehm-gc/configure +++ b/boehm-gc/configure @@ -6580,7 +6580,7 @@ else multilib_arg= fi - ac_config_headers="$ac_config_headers include/gc_config.h" + ac_config_headers="$ac_config_headers include/gc_config.h include/gc_ext_config.h" ac_config_files="$ac_config_files Makefile include/Makefile" @@ -7178,6 +7178,7 @@ do "default-1" ) CONFIG_COMMANDS="$CONFIG_COMMANDS default-1" ;; "depfiles" ) CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;; "include/gc_config.h" ) CONFIG_HEADERS="$CONFIG_HEADERS include/gc_config.h" ;; + "include/gc_ext_config.h" ) CONFIG_HEADERS="$CONFIG_HEADERS include/gc_ext_config.h" ;; *) { { echo "$as_me:$LINENO: error: invalid argument: $ac_config_target" >&5 echo "$as_me: error: invalid argument: $ac_config_target" >&2;} { (exit 1); exit 1; }; };; |