diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -5762,7 +5762,7 @@ else fi -ac_config_files="$ac_config_files Makefile src/Makefile docs/Makefile data/Makefile spec/terminal-media-launcher.spec" +ac_config_files="$ac_config_files Makefile src/Makefile docs/Makefile data/Makefile spec/Makefile spec/terminal-media-launcher.spec" cat >confcache <<\_ACEOF # This file is a shell script that caches the results of configure @@ -6526,6 +6526,7 @@ do "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; "docs/Makefile") CONFIG_FILES="$CONFIG_FILES docs/Makefile" ;; "data/Makefile") CONFIG_FILES="$CONFIG_FILES data/Makefile" ;; + "spec/Makefile") CONFIG_FILES="$CONFIG_FILES spec/Makefile" ;; "spec/terminal-media-launcher.spec") CONFIG_FILES="$CONFIG_FILES spec/terminal-media-launcher.spec" ;; *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; |