Merge pull request #357 from lordblackfox/master

fixes #336
servo · Apr 12, 2013 · b88632d · b88632d
2 parents 375149b + 8b15f9e
commit b88632d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/configure b/configure
@@ -285,6 +285,7 @@ opt optimize 1 "build optimized rust code"
 opt optimize-cxx 1 "build optimized C++ code"
 opt manage-submodules 1 "let the build manage the git submodules"
 opt fast-make 0 "use .gitmodules as timestamp for submodule deps"
+opt debug 0 "use debugging symbols"
 valopt local-rust-root "" "set prefix for local rust binary"
 
 if [ $HELP -eq 1 ]