diff options
| -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" |