diff --git a/extras/do_copy_files b/extras/do_copy_files new file mode 100755 index 0000000..3cecf38 --- /dev/null +++ b/extras/do_copy_files @@ -0,0 +1,32 @@ +#!/bin/bash +# $Id$ +set -e + +: <> $TMP_FILE +done + +mkdir -p $3 +cd $2 +tar -X $TMP_FILE -cf - . | tar -C $3 -xf - + +# Clear out the temporary file +rm -f ${TMP_FILE}