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

auto merge of #1256 : kmcallister/servo/configure, r=metajack

Browse source 
This isn't a full fix for #522 / #835 but it prevents the unrecoverable loss of work without changing the behavior of configure generally.

If configure drops committed local work, it can be recovered from the reflog.
This commit is contained in:
bors-servo 2013-11-14 15:01:38 -08:00
commit 7e41e86007
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
configure vendored
View file

@ -308,6 +308,11 @@ 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 \
| grep -q 'modified:.*modified content'; then
err "Some submodule has a dirty working tree. See 'git status'."
fi
OPTIONS="" OPTIONS=""
HELP=0 HELP=0
if [ "$1" = "--help" ] if [ "$1" = "--help" ]