1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/git-lock.pl b/src/util/git-lock.pl
index c05a31a..9980833 100755
--- a/src/util/git-lock.pl
+++ b/src/util/git-lock.pl
@@ -35,7 +35,7 @@ while (! (mkdir $lockdir)) {
     # Wait some time
     my $unit = $waittime==1 ? "second" : "seconds";
     print "Git repository is busy; waiting $waittime $unit...\n";
-    system "sleep $waittime";
+    system "sleep '$waittime'";
     # Back off exponentially
     $waittime *= 2;
     $waittime = 1 if $waittime>1 && $waittime<2;