From: Mehdi Dogguy Date: Mon, 14 Jun 2010 23:29:34 +0200 Subject: [PATCH] Fix cpp command arguments --- src/kernel/file.ml | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/kernel/file.ml b/src/kernel/file.ml index 30c532b..042f29e 100644 --- a/src/kernel/file.ml +++ b/src/kernel/file.ml @@ -498,7 +498,7 @@ let parse = function in (* Format.eprintf "-cpp-command cmd2=|%s|@\n" cmd2; *) let cmd3 = - String.sub cmdl (percent2 + 2) (String.length cmdl - percent2 + 2) + String.sub cmdl (percent2 + 2) (String.length cmdl - (percent2 + 2)) in (* Format.eprintf "-cpp-command cmd3=|%s|@\n" cmd3; *) Format.sprintf "%s%s %s %s%s%s" cmd1 --