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 ]