Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / bin / host-arch
1 #!/usr/bin/env bash
2
3 set -e
4 name=`basename "$0"`
5 dir=`dirname "$0"`
6 bin=`cd "$dir" && pwd`
7
8 die () {
9 echo >&2 "$1"
10 exit 1
11 }
12
13 usage () {
14 die "usage: $name"
15 }
16
17 case "$#" in
18 0)
19 ;;
20 *)
21 usage
22 ;;
23 esac
24
25 eval `"$bin/platform"`
26
27 echo $HOST_ARCH