+ halrun setup.hal
+ RESULT=1
++ wc -l
++ cat hal-output
+++ cat PIN_NAME_REGEX
++ egrep 'er[0-9]\.enable$'
