summaryrefslogtreecommitdiff
path: root/utils/clflags.mli
Commit message (Expand)AuthorAgeFilesLines
* Adding the -strict-sequence option.Pierre Weis2009-12-091-0/+1
* Added option -no-app-funct to turn off applicative functorsXavier Leroy2009-07-151-0/+1
* merge changes from 3.10.2merged to 3.11.0Damien Doligez2008-12-031-1/+1
* Cleanup + pass -Wl,-E to linker when linking dynlink.cma in custom mode.Alain Frisch2008-04-161-1/+0
* Merge the natdynlink branch into HEAD.Alain Frisch2007-11-061-0/+2
* ajout des annotations pour variables et appels terminauxDamien Doligez2007-05-161-1/+1
* ajout .mliDamien Doligez2005-10-261-0/+75