Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
isabelle