deal with local modifications in the working copy
This commit is contained in:
parent
135e43468f
commit
47b4317888
|
@ -59,6 +59,7 @@ nim_needs_rebuilding() {
|
|||
fi
|
||||
|
||||
pushd "${NIM_DIR}" >/dev/null
|
||||
git restore .
|
||||
if ! git checkout -q ${NIM_COMMIT}; then
|
||||
# Pay the price for a non-default NIM_COMMIT here, by fetching everything.
|
||||
# (This includes upstream branches and tags that might be missing from our fork.)
|
||||
|
|
Loading…
Reference in New Issue