From 6ae45c3aa11d0c70b83b6b7e91a784b23a67146d Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Sun, 31 May 2015 20:00:24 +0200
Subject: Allow the option -o to be also the prefix of the file name for
 compability with different build systems.

---
 driver/Driver.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/driver/Driver.ml b/driver/Driver.ml
index d225ec4f..aaaeb5b5 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -502,6 +502,8 @@ let cmdline_actions =
   Exact "-E", Set option_E;
   Exact "-S", Set option_S;
   Exact "-o", String(fun s -> option_o := Some s);
+  Prefix "-o", Self (fun s -> let s = String.sub s 2 ((String.length s) - 2) in
+			      option_o := Some s);
 (* Preprocessing options *)
   Exact "-I", String(fun s -> prepro_options := s :: "-I" :: !prepro_options);
   Prefix "-I", Self(fun s -> prepro_options := s :: !prepro_options);
-- 
cgit