diff options
Diffstat (limited to 'camlp4/unmaintained/lib/Makefile')
| -rw-r--r-- | camlp4/unmaintained/lib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/unmaintained/lib/Makefile b/camlp4/unmaintained/lib/Makefile index 3d5be9b45a..76eba3ab0b 100644 --- a/camlp4/unmaintained/lib/Makefile +++ b/camlp4/unmaintained/lib/Makefile @@ -43,7 +43,7 @@ installopt: for f in $(LIBRARIESX) $(LIBRARIESP) *.cmx ; do \ test -f $$f && cp $$f "$(LIBDIR)/camlp4/." || true ; \ done - # Special treatment for this one: some versions of make don't like $(A) in $(TARGET:.cma=.$(A)) + # Special treatment for this one: some versions of make don't like $(A) in $(TARGET:.cma=.$(A)) target="`echo $(LIBRARIES) | sed -e 's/\.cma$$/.$(A)/'`" ; \ if test -f $$target ; then \ cp $$target "$(LIBDIR)/camlp4/." && ( cd "$(LIBDIR)/camlp4/." && $(RANLIB) $$target ) \ |