stdin does not allow further switches

./mme -extract -model=DEVAL_12 > temp2.kts; ./mm temp2.kts -graph works ./mme -extract -model=DEVAL_12 | ./mm - -graph does not work.

where mm is the DSL.

note running ./mme -extract -model=DEVAL_12 | ./mm - does half work, but not very useful as I need the switch.

[hj-lee]

It looks like kscript treats “-” as one of kscript options, not as the script. Below code in Kscript.kt seems to be the culprit.

val userArgs = args.dropWhile { it.startsWith("-") }.drop(1)

Changing it to something like below would fix the issue.

val userArgs = args.dropWhile { it.startsWith("-") && it != "-" }.drop(1)

[ilanpillemer]

I will give that a try this week and see if it works. And if it does put together a pull request