diff --git a/Makefile b/Makefile index 1a88bf7e..6c0322ea 100644 --- a/Makefile +++ b/Makefile @@ -159,6 +159,6 @@ TAGS: setup-git: git config --local include.path ../.gitconfig git stash save - rm .git/index + ${RM} .git/index git checkout HEAD -- "$$(git rev-parse --show-toplevel)" git stash pop