‘configure’: /bin/bash is not portable
  ‘cleanup’: /bin/bash is not portable
‘configure’: /bin/bash is not portable
  ‘cleanup’: /bin/bash is not portable
‘configure’: /bin/bash is not portable
  ‘cleanup’: /bin/bash is not portable
‘configure’: /bin/bash is not portable
  ‘cleanup’: /bin/bash is not portable
‘configure’: /bin/bash is not portable
‘configure’: /bin/bash is not portable