From cae703c0b1fabbc6ed3f6501198778d18a110fc2 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Fri, 8 Apr 2011 15:44:41 -0700
Subject: Add support for --disable-optimize

---
 configure | 1 +
 1 file changed, 1 insertion(+)

(limited to 'configure')

diff --git a/configure b/configure
index 8c8ed680..2f3a9d43 100755
--- a/configure
+++ b/configure
@@ -153,6 +153,7 @@ fi
 
 opt valgrind 1 "run tests with valgrind"
 opt docs     1 "build documentation"
+opt optimize 1 "build optimized rust code"
 
 
 if [ $HELP -eq 1 ]
-- 
cgit v1.2.3