diff options
-rw-r--r-- | common-settings | 8 | ||||
-rw-r--r-- | defaults-fixed.cfg (renamed from config-MANDATED) | 0 | ||||
-rw-r--r-- | defaults.cfg (renamed from config-DEFAULTS) | 0 | ||||
-rw-r--r-- | host.cfg (renamed from config-HOST) | 0 | ||||
l--------- | target.cfg (renamed from config-TARGET) | 0 |
5 files changed, 4 insertions, 4 deletions
diff --git a/common-settings b/common-settings index 000ca69..ea4d18e 100644 --- a/common-settings +++ b/common-settings @@ -4,9 +4,9 @@ set -e -. ./config-DEFAULTS || exit 1 -. ./config-HOST || exit 1 -. ./config-TARGET || exit 1 -. ./config-MANDATED || exit 1 +. ./defaults.cfg || exit 1 +. ./host.cfg || exit 1 +. ./target.cfg || exit 1 +. ./defaults-fixed.cfg || exit 1 exit 0 diff --git a/config-MANDATED b/defaults-fixed.cfg index 8d78323..8d78323 100644 --- a/config-MANDATED +++ b/defaults-fixed.cfg diff --git a/config-DEFAULTS b/defaults.cfg index 2271204..2271204 100644 --- a/config-DEFAULTS +++ b/defaults.cfg diff --git a/config-TARGET b/target.cfg index 9bea7d1..9bea7d1 120000 --- a/config-TARGET +++ b/target.cfg |