Merge branch 'master' into highprecision

nickbattle · Mar 12, 2024 · 89216a8 · 89216a8
2 parents d6104b0 + 220324c
commit 89216a8
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/packaging/src/main/scripts/vsix.sh b/packaging/src/main/scripts/vsix.sh
@@ -42,6 +42,12 @@ echo "**************************** Updating VSIX! ****************************"
     EXTRACT="extension/resources/jars"
     unzip -q "$VSIX" "$EXTRACT/$VDMJ/*" "$EXTRACT/plugins/*"
 
+    rm -vf $EXTRACT/$VDMJ/vdmj-*.jar
+    rm -vf $EXTRACT/$VDMJ/lsp-*.jar
+    rm -vf $EXTRACT/$VDMJ/annotations-*.jar
+    rm -vf $EXTRACT/$VDMJ/libs/stdlib-*.jar
+    rm -vf $EXTRACT/plugins/quickcheck-*.jar
+
     cp -vf vdmj-$VERSION.jar $EXTRACT/$VDMJ
     cp -vf lsp-$VERSION.jar $EXTRACT/$VDMJ
     cp -vf annotations-$VERSION.jar $EXTRACT/$VDMJ