3 Commits

Author	SHA1	Message	Date
Wilson Snyder	a43fd06f85	Tests: Imply no driver.pl make when using --build. No functional change intended	2024-01-20 10:37:35 -05:00
github action	205cae963b	Apply 'make format'	2023-05-31 16:03:33 +00:00
Don Williamson	df2746de71	Add --main-top-name option for C main TOP name (#4235) (#4249)	2023-05-31 09:02:26 -07:00