diff --git a/Dist/CleanupBuildOutputDirs.sh b/Dist/CleanupBuildOutputDirs.sh index 7121f604f1..365f313f2c 100755 --- a/Dist/CleanupBuildOutputDirs.sh +++ b/Dist/CleanupBuildOutputDirs.sh @@ -1,2 +1,2 @@ #!/bin/sh -cd "$(dirname "$0")/.." && rm -r src/*/bin src/*/obj test_output output && git checkout -- output +cd "$(dirname "$0")/.." && (rm -r src/*/bin src/*/obj test_output output; git restore output)