Page MenuHomeWildfire Games
Paste P157

SM45 clean-workspaces.sh update
ActivePublic

Authored by historic_bruno on Jul 22 2019, 6:07 AM.
From 16deb68ff4572ce45811abbf3859fed0b540cd76 Mon Sep 17 00:00:00 2001
From: historicbruno <ben@wildfiregames.com>
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

Event Timeline

historic_bruno edited the content of this paste. (Show Details)Jul 22 2019, 6:25 AM
elexis changed the visibility from "All Users" to "Public (No Login Required)".Jul 22 2019, 11:55 AM