michael@0: #!/bin/sh michael@0: michael@0: cd $SOURCE michael@0: exec ./mach build