--- a/Admin/makebundle Sun Jan 30 18:36:35 2011 +0100
+++ b/Admin/makebundle Sun Jan 30 20:47:26 2011 +0100
@@ -69,13 +69,12 @@
tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
+(
+ cd "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
+ find . -name "*.elc" -exec rm {} ";"
+)
+
case "$PLATFORM" in
- x86-linux)
- (
- cd "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
- find . -name "*.elc" -exec rm {} ";"
- )
- ;;
x86-cygwin)
rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"