Release coccinelle-0.2.4rc3

[bpt/coccinelle.git] / main.ml

diff --git a/main.ml b/main.ml
index a7e9e66..b736b7f 100644 (file)
--- a/main.ml
+++ b/main.ml
@@ -1,3 +1,27 @@
+(*
+ * Copyright 2010, INRIA, University of Copenhagen
+ * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
+ * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
+ * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
+ * This file is part of Coccinelle.
+ *
+ * Coccinelle is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, according to version 2 of the License.
+ *
+ * Coccinelle is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Coccinelle.  If not, see <http://www.gnu.org/licenses/>.
+ *
+ * The authors reserve the right to distribute this or future versions of
+ * Coccinelle under other licenses.
+ *)
+
+
 open Common
 module FC = Flag_cocci
 
@@ -316,7 +340,7 @@ let short_options = [
     "  guess what";
 
   "-date",   Arg.Unit (fun () ->
-    pr2 "version: $Date: 2010/08/07 20:19:45 $";
+    pr2 "version: $Date: 2010/09/04 10:20:49 $";
     raise (Common.UnixExit 0)
     ),
   "   guess what";
@@ -1087,7 +1111,8 @@ let main_with_better_error_report () =
             filename (Unix.error_message e));
         raise (UnixExit (-1))
     | Parse_cocci.Bad_virt s ->
-       Common.pr2 (Printf.sprintf "virtual rule %s not supported" s)
+       Common.pr2 (Printf.sprintf "virtual rule %s not supported" s);
+        raise (UnixExit (-1))
 
 (*****************************************************************************)
 let start =