diff options
Diffstat (limited to 'tools/dd.sh')
-rwxr-xr-x | tools/dd.sh | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/tools/dd.sh b/tools/dd.sh deleted file mode 100755 index f698a36..0000000 --- a/tools/dd.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/sh - -if [ $# -ne 2 ] -then - exit 1 -fi - -/bin/dd if=$1 of=$2 bs=8M & -pid=$! - -echo "DDPID=$pid" - -while true; -do - sleep 5 - kill -USR1 $pid 1>/dev/null 2>&1 - if [ $? -ne 0 ] - then - exit 0 - fi -done - -sync |