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

auto merge of #1307 : pcwalton/servo/disable-manage-submodules, r=kmcallister

Browse source 
r? @kmcallister
This commit is contained in:
bors-servo 2013-11-25 14:16:19 -08:00
commit b4c0020492
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
configure vendored
View file

@ -308,9 +308,12 @@ CFG_SELF=${CFG_SRC_DIR}$(basename $0)
CFG_CONFIGURE_ARGS="$@"
CFG_PATH=$PATH
if git status $CFG_SRC_DIR/src/compiler $CFG_SRC_DIR/src/support $CFG_SRC_DIR/src/platform \
| grep -q 'modified:.*modified content'; then
err "Some submodule has a dirty working tree. See 'git status'."
if [ -n "$CFG_DISABLE_MANAGE_SUBMODULES" ]
then
if git status $CFG_SRC_DIR/src/compiler $CFG_SRC_DIR/src/support $CFG_SRC_DIR/src/platform \
| grep -q 'modified:.*modified content'; then
err "Some submodule has a dirty working tree. See 'git status'."
fi
fi
OPTIONS=""