From 01dde0b19fb04b51d8dd640aca28b3b164915064 Mon Sep 17 00:00:00 2001
From: Jon Siwek <jsiwek@illinois.edu>
Date: Mon, 10 Mar 2014 14:48:13 -0500
Subject: [PATCH] Fix --with-jemalloc and make it imply --enable-jemalloc.

---
 configure | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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