2017-04-15 17:54 GMT+02:00 Dominique d'Humières <domi...@lps.ens.fr>: >>> This is indeed doable, but before I’ld like to improve the module cleanup >>> with the following patch >> >> Yes, looks very useful to me (makes the regexps much more compact & >> readable). In addition, couldn't one use \s for whitespace instead of >> \[ \t\] ? > > I have posted what I have in my working tree. I’ll test the use of \s instead > of \[ \t\] . Is it really portable?
Not sure. But at least some of the other files in gcc/testsuite/lib seem to use \s as well (e.g. gcc-dg.exp). >> I assume your igrep is just a copy of dejagnu's grep with an additional >> -nocase? > > Yes! Ok to commit from my side, if you have tested that it works properly. Cheers, Janus