Admin/lib/Tools/makedist_cygwin
changeset 50807 c065f3d14197
parent 50806 c19dba2d7ffe
child 50811 d02b9918e4d4
equal deleted inserted replaced
50806:c19dba2d7ffe 50807:c065f3d14197
    64 
    64 
    65 ln -s cygperl5_14.dll "$TARGET/bin/cygperl5_14_2.dll"
    65 ln -s cygperl5_14.dll "$TARGET/bin/cygperl5_14_2.dll"
    66 
    66 
    67 rm "$TARGET/Cygwin.bat"
    67 rm "$TARGET/Cygwin.bat"
    68 
    68 
    69 cp "$ISABELLE_HOME/Admin/Windows/Cygwin/init.bat" "$TARGET/isabelle/."
    69 cp -a "$ISABELLE_HOME/Admin/Windows/Cygwin/isabelle/." "$TARGET/isabelle/."
       
    70