(copy_files): Accept optional third argument: a prefix

to be appended to destination file names.
Import paxutils/paxlib files.

diff --git a/bootstrap b/bootstrap
index d62061725623f3fd2e6149aba42a3a7e2df7b289..affe7a9a324a0802eb445c343669c5c2dca77f95 100755 (executable)
--- a/bootstrap
+++ b/bootstrap
@@ -191,8 +191,15 @@ copy_files() {
     case $file in
     "#*")  continue;;
     esac
-    echo "$0: Copying file $1/$file"
-    cp -p $1/$file $2/`expr $file : '.*/\(.*\)'`
+    dst=`echo $file | sed 's^.*/^^'`
+    if [ $# -eq 3 ]; then
+      case $dst in  
+      ${3}*) ;;
+      *) dst=${3}$dst;;
+      esac
+    fi  
+    echo "$0: Copying file $1/$file to $2/$dst"
+    cp -p $1/$file $2/$dst
   done
 }
 
@@ -215,6 +222,8 @@ do
        copy_files ${PAXUTILS_SRCDIR}/$dir $dir
 done
 
+copy_files ${PAXUTILS_SRCDIR}/paxlib lib pax
+
 # Get gnulib files.
 
 case ${GNULIB_SRCDIR--} in