ensure managix scripts use bash

Change-Id: If73a9e4d13df7c0dbb77d5c0376f89b85510e30c
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/167
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Ian Maxon <imaxon@uci.edu>
3 files changed