#!/bin/sh set -e help() { cat < 'config/2-generated.mk' << MAKE PREFIX = $prefix EPREFIX = $eprefix BINDIR = $bindir DATAROOTDIR = $datarootdir MANDIR = $mandir ENABLE_GNOME_TERMINAL = $enable_gnome_terminal ENABLE_XINERAMA = $enable_xinerama MAKE make_help_result="$(make --help 2>&1 || true)" if [ "$(echo "$make_help_result" | grep 'gnu.org')" = '' ]; then ln -sf '4-defvars-bsd.mk' 'config/4-defvars.mk' else ln -sf '4-defvars-gnu.mk' 'config/4-defvars.mk' fi