#!/usr/bin/env bash

set -euo pipefail

pushd .. || exit 1

./run-linux
