Support the -std=<standard> command-line option#456

Merged

xavierleroy merged 6 commits intomasterfrom

Sep 23, 2022

Commits on Sep 4, 2022

Commits on Sep 8, 2022

Add `Commandline.longopt` function for options of the form `-<key>=<arg>`
xavierleroy
committed

Commits on Sep 23, 2022

Support the `-std=<standard>` option (#456)

xavierleroy
and
bschommer
committed
No need to set -std=c99 on the GNU C preprocessor command line
xavierleroy
committed
test/export: use the standard headers from ../../runtime/include
xavierleroy
committed