diff options
Diffstat (limited to 'Tools/Scripts/build-webkit')
| -rwxr-xr-x | Tools/Scripts/build-webkit | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tools/Scripts/build-webkit b/Tools/Scripts/build-webkit index f36abef90..3e53fa26d 100755 --- a/Tools/Scripts/build-webkit +++ b/Tools/Scripts/build-webkit @@ -450,11 +450,11 @@ sub writeCongrats() my $buildTime = formatBuildTime($endTime - $startTime); print "\n"; - print "===========================================================\n"; + print "====================================================================\n"; print " WebKit is now built ($buildTime). \n"; if (!isChromium()) { print " To run $launcherName with this newly-built code, use the\n"; print " \"$launcherPath\" script.\n"; } - print "===========================================================\n"; + print "====================================================================\n"; } |
