diff options
author | Michael Elkins <melkins@tislabs.com> | 2014-04-07 17:38:40 +0000 |
---|---|---|
committer | Michael Elkins <melkins@tislabs.com> | 2014-04-07 17:38:40 +0000 |
commit | 1a1c9b672049f1e6836bbccd96fe1734cc791456 (patch) | |
tree | a1e2c0b8336a7ffa267261fc184c64f666ec01ea /configure | |
parent | b403f46676c6dcde856f3a943361f08c2a6fe5f3 (diff) | |
parent | aa28ef54c271fbe4d52860ff8cf13cab19e2207c (diff) |
merge with ^/trunk
svn path=/branches/tk674/; revision=5761
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -5062,7 +5062,7 @@ fi if test $build_rp_tools = yes then - ac_config_files="$ac_config_files rcynic/Makefile utils/Makefile utils/find_roa/Makefile utils/hashdir/Makefile utils/print_rpki_manifest/Makefile utils/print_roa/Makefile utils/scan_roas/Makefile utils/uri/Makefile rtr-origin/Makefile" + ac_config_files="$ac_config_files rcynic/Makefile utils/Makefile utils/find_roa/Makefile utils/hashdir/Makefile utils/print_rpki_manifest/Makefile utils/print_roa/Makefile utils/scan_roas/Makefile utils/scan_routercerts/Makefile utils/uri/Makefile rtr-origin/Makefile" fi @@ -5819,6 +5819,7 @@ do "utils/print_rpki_manifest/Makefile") CONFIG_FILES="$CONFIG_FILES utils/print_rpki_manifest/Makefile" ;; "utils/print_roa/Makefile") CONFIG_FILES="$CONFIG_FILES utils/print_roa/Makefile" ;; "utils/scan_roas/Makefile") CONFIG_FILES="$CONFIG_FILES utils/scan_roas/Makefile" ;; + "utils/scan_routercerts/Makefile") CONFIG_FILES="$CONFIG_FILES utils/scan_routercerts/Makefile" ;; "utils/uri/Makefile") CONFIG_FILES="$CONFIG_FILES utils/uri/Makefile" ;; "rtr-origin/Makefile") CONFIG_FILES="$CONFIG_FILES rtr-origin/Makefile" ;; "rpkid/Makefile") CONFIG_FILES="$CONFIG_FILES rpkid/Makefile" ;; |