+ halrun setup.hal
+ RESULT=1
++ wc -l
++ cat hal-output
+++ cat PIN_NAME_REGEX
++ egrep 'pid\.[0-9]+\.command$'
+ NUM_PINS=0
++ cat RESULT
+ '[' 1 -ne 0 ']'
+ exit 1
