diff options
author | Adrien Nader <adrien@notk.org> | 2015-02-08 18:10:32 +0100 |
---|---|---|
committer | Adrien Nader <adrien@notk.org> | 2015-02-08 18:10:32 +0100 |
commit | a5c4cb232c626346fa5fec957948869c1ee56753 (patch) | |
tree | 0a936fa826aeb054cf91a117b4c5c326baf96d5e /otherlibs/labltk/support/cltkDMain.c | |
parent | b457ca398a68d05ef69e0e03b4f82b6d7d84f38d (diff) |
ocamldoc/Makefile: replace remove_DEBUG script with a single awk invocation
Awk? The horror!
Except standard awk has more features than standard sed and standard grep
combined.
This commit has been motivated by the difference between the .nt version of
ocamldoc/Makefile: it is a mere "grep -v DEBUG" which does not preserve
line information.
It doesn't touch Makefile.nt since a subsequent commit is going to remove
the Makefile.nt file completely (yay!). However it takes windows into
account and removes one shell invocation (maybe one day OCaml will build
without a posix shell, at least this commit goes into that direction).
Diffstat (limited to 'otherlibs/labltk/support/cltkDMain.c')
0 files changed, 0 insertions, 0 deletions