Open MPI logo

Hardware Locality Development Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Hardware Locality Development mailing list

Subject: Re: [hwloc-devel] GIT: hwloc branch master updated. 0e6fe307c10d47efee3fb95c50aee9c0f01bc8ec
From: Jeff Squyres (jsquyres) (jsquyres_at_[hidden])
Date: 2014-04-07 17:29:18

On Apr 7, 2014, at 5:06 PM, "Jeff Squyres (jsquyres)" <jsquyres_at_[hidden]> wrote:

> Ok, lemme look at tar -- there's a canonical way to copy dir trees with tar; let me look it up...

Does this work for you? It seems to do the Right Thing for me on OS X and Linux.

diff --git a/config/ b/config/
index d7bdfa4..68f1f8a 100755
--- a/config/
+++ b/config/
@@ -69,7 +69,7 @@ fi
 # Trivial helper function
 doit() {
     echo $*
- $*
+ eval $*
 echo "*** Copying doxygen-doc tree to dist..."
@@ -77,7 +77,7 @@ echo "*** Directory: srcdir: $srcdir, distdir: $distdir, pwd:
 doit mkdir -p $distdir/doc/doxygen-doc
 doit chmod -R a=rwx $distdir/doc/doxygen-doc
 doit rm -rf $distdir/doc/doxygen-doc
-doit cp -rpf $srcdir/doc/doxygen-doc $distdir/doc
+doit "tar -c -C $srcdir -h -f - doc/doxygen-doc | tar -x -C $distdir -f -"
 echo "*** Copying new README"
 ls -lf $distdir/README

Jeff Squyres
For corporate legal information go to: