summaryrefslogtreecommitdiff
path: root/util/vndb-dev-server.pl
diff options
context:
space:
mode:
Diffstat (limited to 'util/vndb-dev-server.pl')
-rwxr-xr-xutil/vndb-dev-server.pl18
1 files changed, 10 insertions, 8 deletions
diff --git a/util/vndb-dev-server.pl b/util/vndb-dev-server.pl
index a712d094..763748b6 100755
--- a/util/vndb-dev-server.pl
+++ b/util/vndb-dev-server.pl
@@ -51,14 +51,16 @@ sub prog_stop {
sub make_run {
- my $cb = run_cmd "make -C $ROOT",
- '>', sub {
- my $d = shift||'';
- return if $d =~ /(Entering|Leaving) directory '\Q$ROOT\E'/;
- return if $d =~ /Nothing to be done for 'all'/;
- print $d;
- };
+ my $newline = 0;
+ my $out = sub {
+ my $d = shift||'';
+ return if !$d || $d =~ /Nothing to be done for 'all'/;
+ print "\n" if !$newline++;
+ print $d;
+ };
+ my $cb = run_cmd "cd $ROOT && make", '>', $out, '2>', $out;
$cb->recv;
+ print "\n" if $newline;
}
@@ -136,7 +138,7 @@ while(1) {
if($needcheck+2 < time) {
make_run;
if(checkmod) {
- print "File has been modified, restarting server.\n";
+ print "\nFile has been modified, restarting server.\n\n";
prog_stop;
prog_start;
} elsif(!$prog) {