diff options
Diffstat (limited to 'cparser/Main.ml')
-rw-r--r-- | cparser/Main.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Main.ml b/cparser/Main.ml index de286b05..3b93d666 100644 --- a/cparser/Main.ml +++ b/cparser/Main.ml @@ -76,6 +76,7 @@ let rec parse_cmdline prepro args i = end let _ = + Builtins.set GCC.builtins; let args = parse_cmdline [] [] 1 in let cmd = "gcc " ^ String.concat " " (List.map Filename.quote args) in let rc = Sys.command cmd in |