1 files changed, 2 insertions, 0 deletions
diff --git a/update.sh b/update.sh
index bce9ea6..2e8b0df 100644
--- a/update.sh
+++ b/update.sh
@@ -3,6 +3,8 @@
 # latest version from Git).
 set -eu
 
+touch /root/at-boot-worked
+
 # Override default /etc/ with the one from this Git.
 cp -r /root/grid5k/etc/* /etc