On 01/07/20 10:57, Thomas Huth wrote: >>> >> >> Simpler: grep -q " $testname " <<< " $only_tests " > > That doesn't work: > > $ ./run_tests.sh ioapic-split > PASS apic-split (53 tests) > PASS ioapic-split (19 tests) > PASS apic (53 tests) > PASS ioapic (26 tests) > > ... because the $testname comes from unittests.cfg and $only_tests is > the list that has been given on the command line. It would maybe work if > the check was the other way round ... but that would require to rewrite > quite a bit of the script logic... It works here. I'll send a patch. Paolo > By the way, you can currently also run "./run_test.sh badname" and it > does *not* complain that "badname" is an illegal test name...
