Paul Elliott
ce77738d95
Remove bash specific code
...
Use case pattern matching instead of multiline split, given there is
only the well formatted PIDs to match on this should be safe.
Signed-off-by: Paul Elliott <paul.elliott@arm.com>
2021-10-26 11:02:16 +01:00
..
2018-10-19 16:41:54 +01:00
2021-09-21 09:40:02 +02:00
2021-04-01 14:18:31 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2021-10-22 11:06:52 +02:00
2021-10-18 17:51:53 +02:00
2021-10-22 11:06:52 +02:00
2021-10-26 10:35:47 +02:00
2020-09-07 14:01:52 +02:00
2021-05-25 19:35:17 +02:00
2020-08-19 10:35:41 +02:00
2021-04-01 14:06:41 +02:00
2020-11-04 17:55:42 +01:00
2020-03-19 14:17:54 +01:00
2020-08-19 10:35:41 +02:00
2021-09-21 09:36:07 +02:00
2020-08-19 10:35:41 +02:00
2021-10-26 11:02:16 +01:00