diff options
Diffstat (limited to 'common-settings')
-rw-r--r-- | common-settings | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/common-settings b/common-settings new file mode 100644 index 0000000..000ca69 --- /dev/null +++ b/common-settings @@ -0,0 +1,12 @@ +#!/bin/sh + +# Load settings + +set -e + +. ./config-DEFAULTS || exit 1 +. ./config-HOST || exit 1 +. ./config-TARGET || exit 1 +. ./config-MANDATED || exit 1 + +exit 0 |