diff options
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) |