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

Merge pull request #357 from lordblackfox/master

Browse source 
fixes #336
This commit is contained in:
Patrick Walton 2013-04-12 13:46:47 -07:00
commit b88632d562
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 ]