diff --git a/update.sh b/update.sh index 55b2c67..116337c 100755 --- a/update.sh +++ b/update.sh @@ -3,4 +3,5 @@ set -euo pipefail git remote add upstream https://github.com/KhronosGroup/Vulkan-Headers || true git fetch upstream -git merge upstream/main --strategy ours +git merge upstream/main || true +git status --porcelain | awk '{if ($1=="DU") print $2}' | xargs git rm