Make pony programs exit on an unrecognized pony runtime option#4622

Merged

SeanTAllen merged 2 commits intoponylang:mainfrom dipinhora:ponyblah

Mar 11, 2025

Commits on Feb 25, 2025

Make pony programs exit on an unrecognized pony runtime option
dipinhora
committed

Commits on Feb 28, 2025

update error message with --pony prefix reservation info

dipinhora
and
jemc
authored