On Mar 2, 2014, at 8:29 PM, Orion Poplawski <or...@cora.nwra.com> wrote:

> We're not honoring DESTDIR here:
> 
> make  install-data-hook
> make[6]: Entering directory
> `/builddir/build/BUILD/openmpi-1.7.5rc1/ompi/mpi/java/java'
> /usr/bin/mkdir -p /usr/lib64/openmpi/share/doc/openmpi/javadoc
> /usr/bin/mkdir: cannot create directory '/usr/lib64/openmpi': Permission
> denied
> cp -rp doc/* /usr/lib64/openmpi/share/doc/openmpi/javadoc
> make[6]: [jdoc-install] Error 1 (ignored)

Ouch!

My mistake; thanks for catching that -- I'll fix.

-- 
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to: 
http://www.cisco.com/web/about/doing_business/legal/cri/

Reply via email to