diff --git a/Build-tools/Bootstrap b/Build-tools/Bootstrap
index 83613d1a1b5..c1063363bdf 100755
--- a/Build-tools/Bootstrap
+++ b/Build-tools/Bootstrap
@@ -101,10 +101,8 @@ if (defined $opt_log)
 		}
 	}
 }
-else
-{
-  $LOGFILE= $PWD . "/Bootstrap-" . $REPO . ".log";
-}
+
+$LOGFILE= $PWD . "/Bootstrap-" . $REPO . ".log" unless ($LOGFILE);
 
 &logger("Starting build");
 &abort("The directory \"$REPO\" could not be found!") if (!-d $REPO);