From a5d9207885f55542f0b4e2004e2545e0bd487734 Mon Sep 17 00:00:00 2001 From: Frédéric Besson Date: Wed, 20 Jun 2018 17:31:59 +0200 Subject: Typo in -iquote preprocessing option (#239) The `-iquote` option was passed to the GNU preprocessor as `-iquore` --- driver/Frontend.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'driver/Frontend.ml') diff --git a/driver/Frontend.ml b/driver/Frontend.ml index 9b7d5328..e5b51c1f 100644 --- a/driver/Frontend.ml +++ b/driver/Frontend.ml @@ -124,7 +124,7 @@ let gnu_prepro_actions = [ Exact "-imacros", String (gnu_prepro_opt_key "-imacros"); Exact "-idirafter", String (gnu_prepro_opt_key "-idirafter"); Exact "-isystem", String (gnu_prepro_opt_key "-isystem"); - Exact "-iquote", String (gnu_prepro_opt_key "-iquore"); + Exact "-iquote", String (gnu_prepro_opt_key "-iquote"); Exact "-P", Self gnu_prepro_opt; Exact "-C", Self gnu_prepro_opt; Exact "-CC", Self gnu_prepro_opt;] -- cgit