Commit 896a2620 authored by Jan Kiene's avatar Jan Kiene
Browse files

fix command line handling

parent 1e493eba

ci/run_scheduled_sanitizer_test.py

+1 −1
Original line number Diff line number Diff line
@@ -103,7 +103,7 @@ if __name__ == "__main__": 
	parser = argparse.ArgumentParser()

	parser.add_argument("in_format", type=str)

	parser.add_argument("out_formats", type=str, nargs="+")

	parser.add_argument("tests", type=str, nargs="+")

	parser.add_argument("--tests", type=str, nargs="+", default=["CLANG1", "CLANG2"])

	parser.add_argument("--skip_fec", action="store_true")



	sys.exit(main(parser.parse_args()))
 
 No newline at end of file