# HG changeset patch
# User wenzelm
# Date 1296416846 -3600
# Node ID 0ec66d976f5befd9b0715e0674e43313fdc5e67c
# Parent  57181bb1dfe05a2dc5c12fa077c8a5072637fa2e
delete .elc files unconditionally -- they cause too many incompatibilities;

diff -r 57181bb1dfe0 -r 0ec66d976f5b Admin/makebundle
--- 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"