2 # Add here instructions to dump useful debug information
6 @echo
'------------------------------------------------------'
11 if
[ -f
/proc
/cpuinfo
] ; then cat
/proc
/cpuinfo
; fi
14 @echo
'------------------------------------------------------'