From 507f000343636e1e300b1f3af71177726926292c Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 22 Jan 2016 16:49:52 +0100 Subject: Added option to dump preprocessed source code. The new option -dprepro allows it to keep the preprocessed source code files. --- driver/Clflags.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'driver/Clflags.ml') diff --git a/driver/Clflags.ml b/driver/Clflags.ml index b67fd638..394dc448 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -33,6 +33,7 @@ let option_faligncondbranchs = ref 0 let option_finline_asm = ref false let option_mthumb = ref (Configuration.model = "armv7m") let option_Osize = ref false +let option_dprepro = ref false let option_dparse = ref false let option_dcmedium = ref false let option_dclight = ref false -- cgit