From 16deb68ff4572ce45811abbf3859fed0b540cd76 Mon Sep 17 00:00:00 2001 From: historicbruno Date: Mon, 22 Jul 2019 00:24:20 -0400 Subject: [PATCH] Updates clean-workspaces.sh for SM45 --- build/workspaces/clean-workspaces.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build/workspaces/clean-workspaces.sh b/build/workspaces/clean-workspaces.sh index 024bd20344..d24a7b9bcb 100755 --- a/build/workspaces/clean-workspaces.sh +++ b/build/workspaces/clean-workspaces.sh @@ -33,11 +33,12 @@ if [ "$preserve_libs" != "true" ]; then (cd ../../libraries/source/fcollada/src && rm -rf ./output) (cd ../../libraries/source/nvtt/src && rm -rf ./build) (cd ../../libraries/source/spidermonkey && rm -f .already-built) - (cd ../../libraries/source/spidermonkey && rm -rf ./mozjs-38.0.0) + (cd ../../libraries/source/spidermonkey && rm -rf ./mozjs-45.0.2) fi # Still delete the directory of previous SpiderMonkey versions to # avoid wasting disk space if people clean workspaces after updating. +(cd ../../libraries/source/spidermonkey && rm -rf ./mozjs-38.0.0) (cd ../../libraries/source/spidermonkey && rm -rf ./mozjs31) (cd ../../libraries/source/spidermonkey && rm -rf ./mozjs24) -- 2.22.0.windows.1