diff -r 795f01224eef -r 5c252fb36abb sbin/sync/sync_ldt_platform --- a/sbin/sync/sync_ldt_platform Thu Apr 14 17:39:36 2011 +0200 +++ b/sbin/sync/sync_ldt_platform Thu Apr 14 18:00:39 2011 +0200 @@ -1,3 +1,4 @@ + #!/usr/bin/env bash set -e if [ -d ~/tmp/platform_V$1 ]; then