1 files changed, 1 insertions, 1 deletions
diff --git a/maint.mk b/maint.mk
index 6933a3c0f..6083583ee 100644
--- a/maint.mk
+++ b/maint.mk
@@ -523,7 +523,7 @@ writable-files:
 	    test -w $$file						\
 	      || { echo ERROR: $$file is not writable; fail=1; };	\
 	  done;								\
-	  test "$$fail" && exit 1 || :
+	  test "$$fail" && exit 1 || : ;				\
 	fi
 
 v_etc_file = lib/version-etc.c