2 Commits

Author	SHA1	Message	Date
Ben Barham	d7a33551f8	[Option] Add all new driver arguments (without implementations) ... Various clients still use the old driver to convert a driver arguments to frontend arguments. This has to work when given new driver arguments, ie. not fail with an unknown argument error. Move all "extra options" from the new driver into `Options.td` and mark them as new driver only.	2022-08-30 12:46:42 +10:00
Xi Ge	01b1aea958	Driver: diagnose options that are only supported in the new driver	2021-05-11 16:28:57 -07:00