Tom Collins 5ad464b167 pinproctest: use standard strcmp() vs. strcmpi() ...

While case-insensitive compare of the machine type passed on the
command line would be nice, the function to do so has different names
on different platforms, and its behavior may be impacted by the user's
locale setting.

2020-08-18 13:13:16 -05:00

..

pinproctest

pinproctest: use standard strcmp() vs. strcmpi()

2020-08-18 13:13:16 -05:00