summaryrefslogtreecommitdiff
path: root/driver/ocamlcomp.sh.in
Commit message (Expand)AuthorAgeFilesLines
* add -nostdlib to bootstrap compilersJacques Garrigue2002-06-081-1/+1
* acceleration des MakefilesJacques Garrigue2002-04-271-0/+5