File tree 2 files changed +13
-1
lines changed
2 files changed +13
-1
lines changed Original file line number Diff line number Diff line change @@ -195,10 +195,19 @@ remove_update_sites () {
195
195
# First, create a ZIP as "backup"
196
196
zip -q -r $UPDATE_SITE_CONFIG_PATH /update-sites.zip $UPDATE_SITE_CONFIG_PATH /$UPDATE_SITE_ARTIFACT $UPDATE_SITE_CONFIG_PATH /$UPDATE_SITE_METADATA
197
197
198
- rm -rf $UPDATE_SITE_CONFIG_PATH /$UPDATE_SITE_ARTIFACT
198
+ rm -rf $UPDATE_SITE_CONFIG_PATH /$UPDATE_SITE_ARTIFACT
199
199
rm -rf $UPDATE_SITE_CONFIG_PATH /$UPDATE_SITE_METADATA
200
200
}
201
201
202
+ # Patches the PDE JAR file to fix a bug with spaces in paths.
203
+ # https://github.com/eclipse-pde/eclipse.pde/pull/1709
204
+ patch_pde_jar () {
205
+ log " Patching PDE JAR."
206
+ PDE_JAR_FILE=" org.eclipse.pde.core_3.20.100.v20250211-2032.jar"
207
+ # Remove original JAR file
208
+ rm -f $ECLIPSE_BASE_PATH /plugins/$PDE_JAR_FILE
209
+ cp ./patches/$PDE_JAR_FILE $ECLIPSE_BASE_PATH /plugins/$PDE_JAR_FILE
210
+ }
202
211
203
212
#
204
213
# Script
297
306
chmod +x splash.sh && ./splash.sh deploy $VERSION $ECLIPSE_BASE_PATH
298
307
fi
299
308
309
+ # Deploy PDE JAR file path
310
+ patch_pde_jar
311
+
300
312
log " Clean-up old archives and create new archive."
301
313
rm -f ./$OUTPUT_FILE
302
314
zip -q -r $OUTPUT_FILE eclipse
You can’t perform that action at this time.
0 commit comments