#!/bin/sh

MACH_CMD=./platform/mach
$MACH_CMD $@