diff options
author | Matthew Sotoudeh <matthew@masot.net> | 2024-09-09 21:03:32 -0400 |
---|---|---|
committer | Matthew Sotoudeh <matthew@masot.net> | 2024-09-09 21:03:32 -0400 |
commit | 5c3a9ab4f7dfcbcf109944277ed6ad04246c3e9e (patch) | |
tree | 46f53189f9ca556da98d532958f46e34892f3d62 /scripts/foldercc | |
parent | c7d6b7a8da2850dd68906929447ac6720604560a (diff) |
type-builtins for foldercc
Diffstat (limited to 'scripts/foldercc')
-rwxr-xr-x | scripts/foldercc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/foldercc b/scripts/foldercc index 8ece427..046f62c 100755 --- a/scripts/foldercc +++ b/scripts/foldercc @@ -66,7 +66,7 @@ def main(argv): t_file.flush() dirname = os.path.dirname(os.path.realpath(c_file)) # TODO: args = ' '.join(meta["dietc_args"]) - args = "" + args = "--type-builtins" diet_c = check_result( subprocess.run(f"timeout 5s {dietc_dir}/dietc {t_file.name} {args}", shell=True, stdout=subprocess.PIPE, stderr=sys.stderr), preproc_c) |