diff options
| author | Simon Marchi <simon.marchi@polymtl.ca> | 2021-12-02 08:02:31 -0500 |
|---|---|---|
| committer | Simon Marchi <simon.marchi@polymtl.ca> | 2021-12-02 08:02:31 -0500 |
| commit | 1075011adebffc855319569549ce88e389e149c6 (patch) | |
| tree | f4f690d9ec270a89030d5da70c0480803decb2a7 /gas/configure | |
| parent | 7ed51c20a23862509502760a68f332d4f5bc7e03 (diff) | |
| download | gdb-1075011adebffc855319569549ce88e389e149c6.zip gdb-1075011adebffc855319569549ce88e389e149c6.tar.gz gdb-1075011adebffc855319569549ce88e389e149c6.tar.bz2 | |
gas: re-generate configure
When configuring gas, I get:
config.status: error: cannot find input file: `doc/Makefile.in'
This is because configure is out-of-date, re-generate it.
Change-Id: Iaa5980c282900d9fd23b90f0df25bf8ba3676498
Diffstat (limited to 'gas/configure')
| -rwxr-xr-x | gas/configure | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gas/configure b/gas/configure index b77c269..abe8a80 100755 --- a/gas/configure +++ b/gas/configure @@ -14065,7 +14065,7 @@ fi -ac_config_files="$ac_config_files Makefile doc/Makefile po/Makefile.in:po/Make-in" +ac_config_files="$ac_config_files Makefile po/Makefile.in:po/Make-in" ac_config_commands="$ac_config_commands default" @@ -15082,7 +15082,6 @@ do ".gdbinit") CONFIG_FILES="$CONFIG_FILES .gdbinit:gdbinit.in" ;; "default-1") CONFIG_COMMANDS="$CONFIG_COMMANDS default-1" ;; "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; - "doc/Makefile") CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;; "po/Makefile.in") CONFIG_FILES="$CONFIG_FILES po/Makefile.in:po/Make-in" ;; "default") CONFIG_COMMANDS="$CONFIG_COMMANDS default" ;; |