aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMichael Elkins <melkins@tislabs.com>2014-04-07 17:38:40 +0000
committerMichael Elkins <melkins@tislabs.com>2014-04-07 17:38:40 +0000
commit1a1c9b672049f1e6836bbccd96fe1734cc791456 (patch)
treea1e2c0b8336a7ffa267261fc184c64f666ec01ea /configure
parentb403f46676c6dcde856f3a943361f08c2a6fe5f3 (diff)
parentaa28ef54c271fbe4d52860ff8cf13cab19e2207c (diff)
merge with ^/trunk
svn path=/branches/tk674/; revision=5761
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index c0d6ffcc..4a512935 100755
--- a/configure
+++ b/configure
@@ -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" ;;