mirror of
https://github.com/servo/servo.git
synced 2025-08-07 06:25:32 +01:00
mk: Don't error out on dirty submodules if --disable-manage-submodules
is on
This commit is contained in:
parent
1dd80b9a6c
commit
be357f37fe
1 changed files with 6 additions and 3 deletions
9
configure
vendored
9
configure
vendored
|
@ -308,9 +308,12 @@ CFG_SELF=${CFG_SRC_DIR}$(basename $0)
|
||||||
CFG_CONFIGURE_ARGS="$@"
|
CFG_CONFIGURE_ARGS="$@"
|
||||||
CFG_PATH=$PATH
|
CFG_PATH=$PATH
|
||||||
|
|
||||||
if git status $CFG_SRC_DIR/src/compiler $CFG_SRC_DIR/src/support $CFG_SRC_DIR/src/platform \
|
if [ -n "$CFG_DISABLE_MANAGE_SUBMODULES" ]
|
||||||
| grep -q 'modified:.*modified content'; then
|
then
|
||||||
err "Some submodule has a dirty working tree. See 'git status'."
|
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
|
fi
|
||||||
|
|
||||||
OPTIONS=""
|
OPTIONS=""
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue