From eea5640e55890538fa43c3d5672853a0ae015b9c Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sat, 11 Jul 2020 11:00:15 +0200 Subject: command line selection of prepass scheduler --- 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 fc5d9e45..829af76a 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -37,6 +37,7 @@ let option_fduplicate = ref (-1) let option_finvertcond = ref true let option_ftracelinearize = ref false let option_fprepass = ref false +let option_fprepass_sched = ref "list" let option_fpostpass = ref true let option_fpostpass_sched = ref "list" let option_fifconversion = ref true -- cgit