Dear Duane, Many thanks for your response!
You are right, the code is rather straightforward and at the same time I find it clever! In particular, I like the fact that, because of the options you are using, you don't need to use grep to figure out whether there are warnings or not. We would have to work quite a bit to reach this state but it's interesting to know the trick so I am very grateful to you that you shared your solution with me! Best wishes, Sébastien. _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make
