#!/bin/sh
MACH_CMD=./platform/mach
$MACH_CMD $@
