From 158aa05efa2bcf625f0a2b0eaadc910958bf3aaf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dag-Erling=20Sm=C3=B8rgrav?= Date: Tue, 16 Mar 2004 12:08:59 +0000 Subject: [PATCH] Whitespace nit. --- tools/tools/tinderbox/tinderbox.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index 24e10a23128..2be6eadc092 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -422,7 +422,7 @@ MAIN:{ print(SUPFILE "\n"); close(SUPFILE); my @cvsupargs = ( - "-1", + "-1", "-g", "-L", ($verbose ? 2 : 1), "$sandbox/supfile"