diff options
| -rw-r--r-- | camlp4/lib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/lib/Makefile b/camlp4/lib/Makefile index ece72d151..2a6158994 100644 --- a/camlp4/lib/Makefile +++ b/camlp4/lib/Makefile @@ -43,6 +43,6 @@ install: installopt: cp $(TARGET:.cma=.cmxa) *.cmx "$(LIBDIR)/camlp4/." - tar cf - $(TARGET:.cma=.$(A)) | (cd "$(LIBDIR)/camlp4/."; tar xf -) + TARG=`echo "$(TARGET)" | sed -e "s/\.cma\$$/.$(A)/g"` && tar cf - $$TARG | (cd "$(LIBDIR)/camlp4/." && tar xf -) include .depend |