From 5c3a9ab4f7dfcbcf109944277ed6ad04246c3e9e Mon Sep 17 00:00:00 2001
From: Matthew Sotoudeh <matthew@masot.net>
Date: Mon, 9 Sep 2024 21:03:32 -0400
Subject: type-builtins for foldercc

---
 scripts/foldercc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
cgit v1.2.3