diff options
Diffstat (limited to 'textproc/galax/files/patch-tools::pxp-engine::Makefile')
| -rw-r--r-- | textproc/galax/files/patch-tools::pxp-engine::Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/textproc/galax/files/patch-tools::pxp-engine::Makefile b/textproc/galax/files/patch-tools::pxp-engine::Makefile new file mode 100644 index 000000000000..bec9274051cf --- /dev/null +++ b/textproc/galax/files/patch-tools::pxp-engine::Makefile @@ -0,0 +1,11 @@ +--- tools/pxp-engine/Makefile.orig Thu Jan 15 10:28:06 2004 ++++ tools/pxp-engine/Makefile Thu Jan 15 10:28:17 2004 +@@ -26,7 +26,7 @@ + #generate: pxp_yacc.ml pxp_lexing.ml + + pxp_lexing.ml: pxp_lexing.mlp +- ifdef -D LEXBUF_$(OCAMLVERSION) pxp_lexing.mlp ++ ./ifdef -D LEXBUF_$(OCAMLVERSION) pxp_lexing.mlp + + depend: + $(OCAMLDEP) *.ml *.mli >depend |