From: Jan Michel Date: Fri, 17 May 2024 14:46:30 +0000 (+0200) Subject: extend compile script to look into distributed log files X-Git-Url: https://jspc29.x-matter.uni-frankfurt.de/git/?a=commitdiff_plain;ds=sidebyside;p=trb3sc.git extend compile script to look into distributed log files --- diff --git a/scripts/compile.pl b/scripts/compile.pl index e285d26..cbc67ea 100755 --- a/scripts/compile.pl +++ b/scripts/compile.pl @@ -271,6 +271,10 @@ if($syn==1 || $all==1){ $c="cat $TOPNAME.srr | egrep --color \"\@E:\""; system($c); print RED, "ERROR in the log file $TOPNAME.srr Exiting...\n\n", RESET; + + $c="egrep --color \"\@E:\" synwork/distcomp/*/*.log"; + system($c); + exit 129; } }