#!/usr/bin/env bash set -e name=`basename "$0"` dir=`dirname "$0"` bin=`cd "$dir" && pwd` die () { echo >&2 "$1" exit 1 } usage () { die "usage: $name" } case "$#" in 0) ;; *) usage ;; esac eval `"$bin/platform"` echo $HOST_OS