# HG changeset patch
# User wenzelm
# Date 1314529534 -7200
# Node ID dcbae90d82c927c8b1016d8de3744d7b0fb75edb
# Parent  96ba83710946fbfb399c592b53afe3da2755cf4f
more portable cp options, e.g. for non-GNU version on Mac OS X Leopard;

diff -r 96ba83710946 -r dcbae90d82c9 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Sun Aug 28 12:53:31 2011 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sun Aug 28 13:05:34 2011 +0200
@@ -221,11 +221,11 @@
   rm -rf dist || failed
   mkdir -p dist dist/classes || failed
 
-  cp -a "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." dist/.
-  cp -a "${RESOURCES[@]}" dist/classes/.
+  cp -pR "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." dist/.
+  cp -pR "${RESOURCES[@]}" dist/classes/.
   cp src/jEdit.props dist/properties/.
-  cp -a src/modes/. dist/modes/.
-  cp -a "$SCALA_HOME/misc/scala-tool-support/jedit/modes/scala.xml" dist/modes/.
+  cp -pR src/modes/. dist/modes/.
+  cp -pR "$SCALA_HOME/misc/scala-tool-support/jedit/modes/scala.xml" dist/modes/.
 
   perl -i -e 'while (<>) {
     if (m/NAME="javacc"/) {
@@ -235,7 +235,7 @@
       print qq,<MODE NAME="scala" FILE="scala.xml" FILE_NAME_GLOB="*.scala" />\n\n,; }
     print; }' dist/modes/catalog
 
-  cp -a "${JEDIT_JARS[@]}" "$SCALA_HOME/lib/scala-compiler.jar" dist/jars/. || failed
+  cp -pR "${JEDIT_JARS[@]}" "$SCALA_HOME/lib/scala-compiler.jar" dist/jars/. || failed
   (
     for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR" "$SCALA_HOME/lib/scala-compiler.jar"
     do