diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2011-07-08 08:51:06 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2011-07-08 08:51:06 +0000 |
| commit | ae3cafd9dce128218c6beed14862746c1790c5a1 (patch) | |
| tree | 8bb6a779fc9147d2a88902e9f2acf548e2a7c2a3 | |
| parent | 63bc601dafa7de351674444c23fe012d3d965d8d (diff) | |
| download | ocaml-jo312.tar.gz | |
Put remove_DEBUG in tools, once for all.jo312
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jo312@11115 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/systhreads/Makefile | 2 | ||||
| -rw-r--r-- | otherlibs/threads/Makefile | 2 | ||||
| -rwxr-xr-x | tools/remove_DEBUG | 22 |
3 files changed, 24 insertions, 2 deletions
diff --git a/otherlibs/systhreads/Makefile b/otherlibs/systhreads/Makefile index 86926b900c..0f544ab008 100644 --- a/otherlibs/systhreads/Makefile +++ b/otherlibs/systhreads/Makefile @@ -21,7 +21,7 @@ JCC=../../ocamlcomp.sh -I ../unix JCOPT=../../ocamlcompopt.sh -I ../unix MKLIB=../../boot/ocamlrun ../../tools/ocamlmklib COMPFLAGS=-warn-error A -g -#OCAMLPP=-pp '../../ocamldoc/remove_DEBUG' +OCAMLPP=-pp '../../tools/remove_DEBUG' BYTECODE_JOIN_C_OBJS=join_b.o diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 7de6ed1f48..0e1f3c0b07 100644 --- a/otherlibs/threads/Makefile +++ b/otherlibs/threads/Makefile @@ -22,7 +22,7 @@ CAMLC=../../ocamlcomp.sh -I ../unix $(NOJOIN) JCC=../../ocamlcomp.sh -I ../unix MKLIB=../../boot/ocamlrun ../../tools/ocamlmklib COMPFLAGS=-warn-error A -OCAMLPP=-pp '../../ocamldoc/remove_DEBUG' +OCAMLPP=-pp '../../tools/remove_DEBUG' JOIN_C_OBJS=join.o diff --git a/tools/remove_DEBUG b/tools/remove_DEBUG new file mode 100755 index 0000000000..78b11e6128 --- /dev/null +++ b/tools/remove_DEBUG @@ -0,0 +1,22 @@ +#!/bin/sh + +#(***********************************************************************) +#(* OCamldoc *) +#(* *) +#(* Damien Doligez, projet Moscova, INRIA Rocquencourt *) +#(* *) +#(* Copyright 2003 Institut National de Recherche en Informatique et *) +#(* en Automatique. All rights reserved. This file is distributed *) +#(* under the terms of the Q Public License version 1.0. *) +#(* *) +#(***********************************************************************) + +# $Id$ + +# usage: remove_DEBUG <file> +# remove from <file> every line that contains the string "DEBUG", +# respecting the cpp # line annotation conventions + +echo "# 1 \"$1\"" +LC_ALL=C sed -e '/DEBUG/c\ +(* DEBUG statement removed *)' "$1" |