diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -5169,7 +5169,7 @@ _ACEOF ac_config_headers="$ac_config_headers config.h:config.in" - ac_config_files="$ac_config_files Makefile systemtap.spec" + ac_config_files="$ac_config_files Makefile systemtap.spec stp_check" cat >confcache <<\_ACEOF # This file is a shell script that caches the results of configure @@ -5743,6 +5743,7 @@ do # Handling of arguments. "Makefile" ) CONFIG_FILES="$CONFIG_FILES Makefile" ;; "systemtap.spec" ) CONFIG_FILES="$CONFIG_FILES systemtap.spec" ;; + "stp_check" ) CONFIG_FILES="$CONFIG_FILES stp_check" ;; "depfiles" ) CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;; "config.h" ) CONFIG_HEADERS="$CONFIG_HEADERS config.h:config.in" ;; *) { { echo "$as_me:$LINENO: error: invalid argument: $ac_config_target" >&5 |