[wip] specify --allow-empty option when applying scratch.patch

This commit is contained in:
Michael Bradley, Jr 2022-09-16 04:43:15 -05:00
parent 4278bd2ea2
commit c881147eea
No known key found for this signature in database
GPG Key ID: D0307DBCF21A9A58
1 changed files with 1 additions and 1 deletions

View File

@ -135,7 +135,7 @@ TESTGROUND_TESTCASE ?= hello
testground:
mkdir -p scratch && rm -rf scratch/* && git clone --depth=1 "file://$${PWD}" "scratch/$$(basename $${PWD})"
[[ $$(git status --porcelain) == "" ]] || (git diff --merge-base HEAD > "scratch/$$(basename $${PWD})/scratch.patch")
[[ $$(git status --porcelain) == "" ]] || (cd "scratch/$$(basename $${PWD})" && git apply scratch.patch)
[[ $$(git status --porcelain) == "" ]] || (cd "scratch/$$(basename $${PWD})" && git apply --allow-empty scratch.patch)
rm -f "scratch/$$(basename $${PWD})/scratch.patch"
git clean -ndfx | grep -v $(SCRATCH_IGNORE) | awk '{ print $$3 }' | xargs -I{} bash -c "test -d '{}' && echo '{}' || true" | xargs -I{} mkdir -p scratch/nim-codex/{}
git clean -ndfx | grep -v $(SCRATCH_IGNORE) | awk '{ print $$3 }' | xargs -I{} cp -R {} scratch/nim-codex/{}