1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Sun Aug 28 12:53:31 2011 +0200
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Sun Aug 28 13:05:34 2011 +0200
     1.3 @@ -221,11 +221,11 @@
     1.4    rm -rf dist || failed
     1.5    mkdir -p dist dist/classes || failed
     1.6  
     1.7 -  cp -a "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." dist/.
     1.8 -  cp -a "${RESOURCES[@]}" dist/classes/.
     1.9 +  cp -pR "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." dist/.
    1.10 +  cp -pR "${RESOURCES[@]}" dist/classes/.
    1.11    cp src/jEdit.props dist/properties/.
    1.12 -  cp -a src/modes/. dist/modes/.
    1.13 -  cp -a "$SCALA_HOME/misc/scala-tool-support/jedit/modes/scala.xml" dist/modes/.
    1.14 +  cp -pR src/modes/. dist/modes/.
    1.15 +  cp -pR "$SCALA_HOME/misc/scala-tool-support/jedit/modes/scala.xml" dist/modes/.
    1.16  
    1.17    perl -i -e 'while (<>) {
    1.18      if (m/NAME="javacc"/) {
    1.19 @@ -235,7 +235,7 @@
    1.20        print qq,<MODE NAME="scala" FILE="scala.xml" FILE_NAME_GLOB="*.scala" />\n\n,; }
    1.21      print; }' dist/modes/catalog
    1.22  
    1.23 -  cp -a "${JEDIT_JARS[@]}" "$SCALA_HOME/lib/scala-compiler.jar" dist/jars/. || failed
    1.24 +  cp -pR "${JEDIT_JARS[@]}" "$SCALA_HOME/lib/scala-compiler.jar" dist/jars/. || failed
    1.25    (
    1.26      for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR" "$SCALA_HOME/lib/scala-compiler.jar"
    1.27      do