# HG changeset patch
# User wenzelm
# Date 1295879982 -3600
# Node ID 0040e0ea02e7ea276890399fba77e71f741fb356
# Parent  057bbb28d3ff230f530ead9f62e7a5954457d952
delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;

diff -r 057bbb28d3ff -r 0040e0ea02e7 Admin/makebundle
--- a/Admin/makebundle	Sun Jan 23 16:29:10 2011 +0100
+++ b/Admin/makebundle	Mon Jan 24 15:39:42 2011 +0100
@@ -69,10 +69,20 @@
 tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
 
 
-if [ "$PLATFORM" = x86-cygwin ]; then
-  rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
-  ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
-fi
+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"
+    ;;
+  *)
+    ;;
+esac
 
 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"