Update the update script one last time

13 years ago · c9f0b9f321
parent 4e243ce30b
commit c9f0b9f321
1 changed files with 13 additions and 0 deletions
--- a/13
+++ b/13
@ -1,5 +1,13 @@
 #!/bin/bash

+if [[ -e /var/lock/update-tde-git-submodules ]]; then
+        echo "TDE GIT submodules are currently being updated"
+        echo "If this is not the case, please remove the lockfile /var/lock/update-tde-git-submodules"
+        exit 0
+fi
+
+touch /var/lock/update-tde-git-submodules
+
 PARENTDIR=$PWD
 echo "Working in $PARENTDIR"
 if [[ ! -d .git ]]; then
@ -40,3 +48,8 @@ do
 	fi
 done
 exec 3>&-
+
+# Let the disk subsystem recover
+sleep 60
+
+rm /var/lock/update-tde-git-submodules