From 893827f54addca2facc19a8f342b380d63114130 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Mon, 27 Jan 2020 11:43:00 +0100
Subject: Added a flag to desactivate tail duplication

---
 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 9aa4a2bf..67ec9702 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -24,6 +24,7 @@ let option_fpacked_structs = ref false
 let option_ffpu = ref true
 let option_ffloatconstprop = ref 2
 let option_ftailcalls = ref true
+let option_fduplicate = ref true
 let option_fconstprop = ref true
 let option_fcse = ref true
 let option_fredundancy = ref true
-- 
cgit