# HG changeset patch
# User wenzelm
# Date 1231698833 -3600
# Node ID bd813e4e97d3b82510f5b7f85f6f52eb60f3aed0
# Parent  9d4b4f2906767293c3acef6425e4b5cb23a14692
failsafe mkdir;

diff -r 9d4b4f290676 -r bd813e4e97d3 src/Tools/jEdit/makedist
--- a/src/Tools/jEdit/makedist	Sun Jan 11 19:32:26 2009 +0100
+++ b/src/Tools/jEdit/makedist	Sun Jan 11 19:33:53 2009 +0100
@@ -86,7 +86,7 @@
 cp -R "$JEDIT_HOME/." "$JEDIT/."
 rm -rf "$JEDIT/jEdit"
 
-mkdir "$JEDIT/jars"
+mkdir -p "$JEDIT/jars"
 
 [ "$SCALA_HOME/lib/scala-library.jar" ] || fail "Bad Scala directory: $SCALA_HOME"
 cp "$SCALA_HOME/lib/scala-library.jar" "$JEDIT/jars/"