diff options
| -rwxr-xr-x | Tools/portbuild/scripts/dodistfiles | 25 |
1 files changed, 11 insertions, 14 deletions
diff --git a/Tools/portbuild/scripts/dodistfiles b/Tools/portbuild/scripts/dodistfiles index 3108b1531732..dc80fe95e874 100755 --- a/Tools/portbuild/scripts/dodistfiles +++ b/Tools/portbuild/scripts/dodistfiles @@ -1,17 +1,14 @@ #!/bin/sh distdir=$1 -while true; do - if cd ${distdir}/.pbtmp >/dev/null 2>&1; then - set * - while [ $# -gt 0 ]; do - if [ -e $1/.done ]; then - rm -f $1/.done - tar -C $1 -cf - . | tar -C ${distdir} -xpf - - rm -rf $1 - fi - shift - done - fi - sleep 600 -done +if cd ${distdir}/.pbtmp >/dev/null 2>&1; then + set * + while [ $# -gt 0 ]; do + if [ -e $1/.done ]; then + rm -f $1/.done + tar -C $1 -cf - . | tar -C ${distdir} -xpf - + rm -rf $1 + fi + shift + done +fi |