Fix installation of libmpiwrap.so on the primary platform.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6387

diff --git a/auxprogs/Makefile.am b/auxprogs/Makefile.am
index 7d547773da77829da7e9004deaf06cfd1b8a0147..28f97b5f6a9ac6f4c77bf71f53e4fb7c75917392 100644 (file)
--- a/auxprogs/Makefile.am
+++ b/auxprogs/Makefile.am
@@ -87,7 +87,7 @@ if BUILD_MPIWRAP_PRI
 # convert (eg) X86_LINUX to x86-linux
 # really should use sed here, rather than assume tr is available
        pD=`echo @VG_PLATFORM_PRI@ | tr A-Z_ a-z-` ; \
-               $(mkinstalldirs) $(DESTDIR)$(valdir)/$$pD;
+               $(mkinstalldirs) $(DESTDIR)$(valdir)/$$pD; \
        rm -f ./libmpiwrap.so; \
        cp ./libmpiwrap-@VG_PLATFORM_PRI@.so ./libmpiwrap.so; \
        $(INSTALL_PROGRAM) ./libmpiwrap.so \