Hi,
as a complete newbee, I have three questions related to the start.sh script:
-how exactly works ${1+"$@"} in the last line of start.sh ? I know what “$@” is, I also know the overall effect of this line, but not what happens here in detail ?
- What is erlexec, which is called by the last line in start.sh ? Is it a special kind of erl, or only a launcher ?
And the root of all these questions:
- How can I give a include directory to start.sh ? If I say “./start.sh -compile ... -I aDir” the aDir is ignored. Even if I add -include option or rearrange it. If I use erlc directly, it starts the shell but compile nothing.
I am using MacBook on latest MacOS X
Thanks for any help !
-Hans
