Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Wrapper script for interpreted LablTk wrongly handles command line parameters #5475
Original bug ID: 5475
I found a problematic code in the wrapper shell script for interpreted LablTk.
Here, the last $* should be "$@" according to sh specification.
Currently it cannot accept an argument containing spaces.
Steps to reproduce
$ cat labltk_space.ml
$ labltk labltk_space.ml "10 20"
A natively compiled version doesn't suffer from the above problem
$ ocamlopt.opt -I +labltk labltk.cmxa labltk_space.ml -o labltk_space.exe
This problem is also in trunk
I attached a patch for trunk.