#!/bin/sh

# Much like freshen-build, but we build in the source tree, and we
# don't try to do a fresh build each time.

set -eu
eval "$(args "$0" src -- "$@")"

cmd () {
    echo
    echo "$command_name: $1" >&2
    eval "$1" || {
      status="$?"
      echo "exit status: $status"
      return $status
    }
}

cmd "freshen-and-patch '$src'"
cmd "cd '$src'"
cmd "CFLAGS=-g3 $(compiler $src) ./configure $(config-flags $src)"
cmd "$(compiler $src) make bootfast"