aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2011-04-08 15:44:41 -0700
committerGraydon Hoare <[email protected]>2011-04-08 15:49:14 -0700
commitcae703c0b1fabbc6ed3f6501198778d18a110fc2 (patch)
tree90c8e1643888c3376302ddaa476735d9f84059d5 /configure
parentrustc: Resolve ty_locals (diff)
downloadrust-cae703c0b1fabbc6ed3f6501198778d18a110fc2.tar.xz
rust-cae703c0b1fabbc6ed3f6501198778d18a110fc2.zip
Add support for --disable-optimize
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
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 ]