iankelling.org Git - distro-setup/blob - pt

   1 #!/bin/bash
   2 # Copyright (C) 2019 Ian Kelling
   3 # SPDX-License-Identifier: Apache-2.0
   4
   5 if ! test "$BASH_VERSION"; then echo "error: shell is not bash" >&2; exit 1; fi
   6
   7 shopt -s inherit_errexit 2>/dev/null ||: # ignore fail in bash < 4.4
   8 set -eE -o pipefail
   9 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?. PIPESTATUS: ${PIPESTATUS[*]}" >&2' ERR
  10
  11 cd /a/opt/Pithosfly
  12 ninja -C build run