Page Menu
Home
Wildfire Games
Search
Configure Global Search
Log In
Paste
P157
SM45 clean-workspaces.sh update
Active
Public
Actions
Authored by
historic_bruno
on Jul 22 2019, 6:07 AM.
Edit Paste
Archive Paste
View Raw File
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
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
created this paste.
Jul 22 2019, 6:07 AM
historic_bruno
mentioned this in
D1510: Update to Spidermonkey 45.0.2
.
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
Log In to Comment