#!/bin/bash
# Copyright (C) 2019 Ian Kelling
# SPDX-License-Identifier: Apache-2.0

if ! test "$BASH_VERSION"; then echo "error: shell is not bash" >&2; exit 1; fi

shopt -s inherit_errexit 2>/dev/null ||: # ignore fail in bash < 4.4
set -eE -o pipefail
trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?. PIPESTATUS: ${PIPESTATUS[*]}" >&2' ERR

cd /a/opt/Pithosfly
ninja -C build run