Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

fixed #336

Browse source
This commit is contained in:
Thomas Baquet 2013-04-11 13:24:37 +02:00
parent 4b1ab13aef
commit 8b15f9eced
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
configure vendored
View file

@ -285,6 +285,7 @@ opt optimize 1 "build optimized rust code"
opt optimize-cxx 1 "build optimized C++ code" opt optimize-cxx 1 "build optimized C++ code"
opt manage-submodules 1 "let the build manage the git submodules" opt manage-submodules 1 "let the build manage the git submodules"
opt fast-make 0 "use .gitmodules as timestamp for submodule deps" 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" valopt local-rust-root "" "set prefix for local rust binary"
if [ $HELP -eq 1 ] if [ $HELP -eq 1 ]