diff options
Diffstat (limited to 'utils/clflags.ml')
-rw-r--r-- | utils/clflags.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 68200b7157..569358c96d 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -166,10 +166,7 @@ let pic_code = ref (match Config.architecture with (* -fPIC *) | "amd64" -> true | _ -> false) -let runtime_variant = - ref (match Config.force_instrumented_runtime with (* -runtime-variant *) - | true -> "i" - | false -> "") +let runtime_variant = ref "" let with_runtime = ref true (* -with-runtime *) |