#!/bin/sh

# Load settings

set -e

. ./config-DEFAULTS || exit 1
. ./config-HOST || exit 1
. ./config-TARGET || exit 1
. ./config-MANDATED || exit 1

exit 0