Merge pull request #42 from evoldoers/report-if-errors-ignored

If errors are ignored, report
evoldoers · Apr 2, 2017 · ae8c24e · ae8c24e
2 parents a425896 + afe58ed
commit ae8c24e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/prolog/biomake/biomake.pl b/prolog/biomake/biomake.pl
@@ -551,7 +551,10 @@
 
 handle_exec_error(_,0,_,_,_) :- !.
 handle_exec_error(Exec,Err,T,SL,Opts) :-
-        handle_error('Error ~w executing ~w',[Err,Exec],T,SL,Opts).
+        (   get_opt(keep_going_on_error,true,Opts)
+        ->  IgnoreInfo=' (ignored)'
+        ;   IgnoreInfo=''),
+        handle_error('Error ~w executing ~w~w',[Err,Exec,IgnoreInfo],T,SL,Opts).
 
 handle_error(Fmt,Args,T,SL,Opts) :-
         format(string(WhileFmt),"While building ~w: ~w",[T,Fmt]),