diff --git a/configure b/configure index 6c4a3e04f80860de09da229d019f51e5881826a7..eed3a193f2e4050b972c64c0ce7f1b2756c4eb9b 100755 --- a/configure +++ b/configure @@ -1717,7 +1717,7 @@ EXTRA_CXXFLAGS="$EXTRA_CXXFLAGS $OPTIMIZE" -ac_config_files="$ac_config_files tools/Makefile tools/fix_rets/Makefile tools/selective_cfi/Makefile tools/c2e/Makefile tools/simple_cdi/Makefile tools/watch_syscall/Makefile tools/transforms/Makefile tools/cgc_hlx/Makefile tools/meds2pdb/Makefile tools/cover/Makefile tools/safefr/Makefile tools/fptr_shadow/Makefile tools/ret_shadow_stack/Makefile tools/spasm/Makefile libMEDSannotation/src/Makefile libMEDSannotation/Makefile libIRDB/src/syscall/Makefile libIRDB/test/Makefile libIRDB/Makefile libIRDB/src/Makefile xform/Makefile libtransform/src/Makefile" +ac_config_files="$ac_config_files tools/Makefile tools/fix_rets/Makefile tools/selective_cfi/Makefile tools/c2e/Makefile tools/cgc_rigrandom/Makefile tools/simple_cdi/Makefile tools/watch_syscall/Makefile tools/transforms/Makefile tools/cgc_hlx/Makefile tools/meds2pdb/Makefile tools/cover/Makefile tools/safefr/Makefile tools/fptr_shadow/Makefile tools/ret_shadow_stack/Makefile tools/spasm/Makefile libMEDSannotation/src/Makefile libMEDSannotation/Makefile libIRDB/src/syscall/Makefile libIRDB/test/Makefile libIRDB/Makefile libIRDB/src/Makefile xform/Makefile libtransform/src/Makefile" cat >confcache <<\_ACEOF # This file is a shell script that caches the results of configure @@ -2428,6 +2428,7 @@ do "tools/fix_rets/Makefile") CONFIG_FILES="$CONFIG_FILES tools/fix_rets/Makefile" ;; "tools/selective_cfi/Makefile") CONFIG_FILES="$CONFIG_FILES tools/selective_cfi/Makefile" ;; "tools/c2e/Makefile") CONFIG_FILES="$CONFIG_FILES tools/c2e/Makefile" ;; + "tools/cgc_rigrandom/Makefile") CONFIG_FILES="$CONFIG_FILES tools/cgc_rigrandom/Makefile" ;; "tools/simple_cdi/Makefile") CONFIG_FILES="$CONFIG_FILES tools/simple_cdi/Makefile" ;; "tools/watch_syscall/Makefile") CONFIG_FILES="$CONFIG_FILES tools/watch_syscall/Makefile" ;; "tools/transforms/Makefile") CONFIG_FILES="$CONFIG_FILES tools/transforms/Makefile" ;;