sbin/sync/sync_ldt_platform
changeset 645 5af755809dd1
parent 632 e85856bfd59b
equal deleted inserted replaced
644:94429061bbfa 645:5af755809dd1
     1 
       
     2 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     3 set -e
     2 set -e
     4 if [ -d ~/tmp/platform_V$1 ]; then
     3 if [ -d ~/tmp/platform_V$1 ]; then
     5     rm -fr ~/tmp/platform_V$1;
     4     rm -fr ~/tmp/platform_V$1;
     6 fi
     5 fi