Release coccinelle-0.2.4rc2

[bpt/coccinelle.git] / main.ml

diff --git a/main.ml b/main.ml
index 60fd7df..a7e9e66 100644 (file)
--- a/main.ml
+++ b/main.ml
@@ -1,27 +1,3 @@
-(*
- * 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
 
@@ -340,7 +316,7 @@ let short_options = [
     "  guess what";
 
   "-date",   Arg.Unit (fun () ->
-    pr2 "version: $Date: 2010/08/06 12:05:34 $";
+    pr2 "version: $Date: 2010/08/07 20:19:45 $";
     raise (Common.UnixExit 0)
     ),
   "   guess what";
@@ -1110,6 +1086,8 @@ let main_with_better_error_report () =
          (spf "ERROR: File %s does not exist: %s"
             filename (Unix.error_message e));
         raise (UnixExit (-1))
+    | Parse_cocci.Bad_virt s ->
+       Common.pr2 (Printf.sprintf "virtual rule %s not supported" s)
 
 (*****************************************************************************)
 let start =