Quoting Oleg Endo <oleg.e...@t-online.de>:

I'm using:
/* { dg-skip-if "" { "sh*-*-*" } { "-m5*"} { "" } }  */

Sorry, I mentally mixed up the arguments.

Reply via email to