Masahiro Yamada (2020/12/16 18:45 +0900): > In hindsight, the preceding *** is a bit unfortunate > (I do not see it for $(warning) ) > but this works.
Perhaps you could use the info function to print your message and then callthe error one with an empty string just to abort... Sébastien.
