Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
the parsing of OCAMLRUNPARAM is too lax #6808
Original bug ID: 6808
consider the following command line:
It will run a.out with:
Solution: demand that the options be separated by commas (which is what most users do already) and document the format more precisely.