tree 363af1fce4f96bbaa2e3cda5d14402fec9af36c1
parent 77ca3cb9c1b6d5ed73a8fd22466d9753e9e34e52
author Till Westmann <westmann@gmail.com> 1415630063 -0800
committer Ian Maxon <imaxon@uci.edu> 1415644466 -0800

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>