diff --git a/src/Misc/layoutroot/safe_sleep.sh b/src/Misc/layoutroot/safe_sleep.sh index 7ba5be325..0c7d12f13 100644 --- a/src/Misc/layoutroot/safe_sleep.sh +++ b/src/Misc/layoutroot/safe_sleep.sh @@ -1,6 +1,6 @@ #!/bin/bash SECONDS=0 -while [[ $SECONDS != $1 ]]; do +while [[ $SECONDS -lt $1 ]]; do : done