#!/usr/bin/env bash
exec "$(dirname "$0")/c-dev" plat up "$@"
