extend compile script to look into distributed log files

diff --git a/scripts/compile.pl b/scripts/compile.pl
index e285d26b5637ccc9819c35697ee1b90d8432991d..cbc67ea2e493e4d3f8859934fc74b8e7c9b1cbe2 100755 (executable)
--- 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;
         }
     }