From ffa17bcd7567cfe127cc603e5e5a44218ce2daa1 Mon Sep 17 00:00:00 2001 From: YoshiRulz Date: Sat, 30 May 2020 15:57:57 +1000 Subject: [PATCH] Fix cleanup script --- Dist/CleanupBuildOutputDirs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)