diff --git a/configure b/configure index 5690712c3a..5af2f25c8f 100755 --- a/configure +++ b/configure @@ -221,7 +221,8 @@ while [ $# -ne 0 ]; do append_cache_entry GooglePerftools_ROOT_DIR PATH $optarg ;; --with-jemalloc=*) - append_cache_entry JeMalloc_ROOT_DIR PATH $optarg + append_cache_entry JEMALLOC_ROOT_DIR PATH $optarg + append_cache_entry ENABLE_JEMALLOC BOOL true ;; --with-python=*) append_cache_entry PYTHON_EXECUTABLE PATH $optarg