Hi Paul, > Ok, thanks. So adding a dg-skip-if for my target is indeed correct. Will do > so.
please don't: since this is going to be common, please add a
corresponding effective-target keyword instead, together with
sourcebuild.texi documentation. That's far more expressive than
explicit target lists.
Thanks.
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University
