changeset 50807 | c065f3d14197 |
parent 50806 | c19dba2d7ffe |
child 50811 | d02b9918e4d4 |
--- a/Admin/lib/Tools/makedist_cygwin Thu Jan 10 17:53:15 2013 +0100 +++ b/Admin/lib/Tools/makedist_cygwin Thu Jan 10 19:07:44 2013 +0100 @@ -66,4 +66,5 @@ rm "$TARGET/Cygwin.bat" -cp "$ISABELLE_HOME/Admin/Windows/Cygwin/init.bat" "$TARGET/isabelle/." +cp -a "$ISABELLE_HOME/Admin/Windows/Cygwin/isabelle/." "$TARGET/isabelle/." +