From f6a5ceba7e40c7862412a30b0fff740a8bac40e9 Mon Sep 17 00:00:00 2001
From: Ivan Davidov <davidov.i@gmail.com>
Date: Mon, 4 Dec 2017 16:57:30 +0200
Subject: [PATCH] Use local configuration (make).

---
 src/.config                                | 6 ------
 src/minimal_overlay/bundles/make/.config   | 5 +++++
 src/minimal_overlay/bundles/make/01_get.sh | 8 +++-----
 3 files changed, 8 insertions(+), 11 deletions(-)
 create mode 100644 src/minimal_overlay/bundles/make/.config

diff --git a/src/.config b/src/.config
index 358bdad14..65113e3a9 100644
--- a/src/.config
+++ b/src/.config
@@ -41,12 +41,6 @@ SYSLINUX_SOURCE_URL=http://kernel.org/pub/linux/utils/boot/syslinux/syslinux-6.0
 #                                                                   #
 #####################################################################
 
-# You can find the latest make source bundles here:
-#
-#   http://www.gnu.org/software/make
-#
-MAKE_SOURCE_URL=ftp://ftp.gnu.org/gnu/make/make-4.2.1.tar.bz2
-
 # You can find the latest nano source bundles here:
 #
 #   https://nano-editor.org/download.php
diff --git a/src/minimal_overlay/bundles/make/.config b/src/minimal_overlay/bundles/make/.config
new file mode 100644
index 000000000..4973c0cab
--- /dev/null
+++ b/src/minimal_overlay/bundles/make/.config
@@ -0,0 +1,5 @@
+# You can find the latest make source bundles here:
+#
+#   http://www.gnu.org/software/make
+#
+MAKE_SOURCE_URL=ftp://ftp.gnu.org/gnu/make/make-4.2.1.tar.bz2
diff --git a/src/minimal_overlay/bundles/make/01_get.sh b/src/minimal_overlay/bundles/make/01_get.sh
index be3aaa6ad..1457a8a12 100755
--- a/src/minimal_overlay/bundles/make/01_get.sh
+++ b/src/minimal_overlay/bundles/make/01_get.sh
@@ -4,15 +4,13 @@ set -e
 
 . ../../common.sh
 
-# Grab everything after the '=' character.
-DOWNLOAD_URL=$(grep -i MAKE_SOURCE_URL $MAIN_SRC_DIR/.config | cut -f2 -d'=')
+# Read the common configuration properties.
+DOWNLOAD_URL=`read_property MAKE_SOURCE_URL`
+USE_LOCAL_SOURCE=`read_property USE_LOCAL_SOURCE`
 
 # Grab everything after the last '/' character.
 ARCHIVE_FILE=${DOWNLOAD_URL##*/}
 
-# Read the 'USE_LOCAL_SOURCE' property from '.config'
-USE_LOCAL_SOURCE="$(grep -i USE_LOCAL_SOURCE $MAIN_SRC_DIR/.config | cut -f2 -d'=')"
-
 if [ "$USE_LOCAL_SOURCE" = "true" -a ! -f $MAIN_SRC_DIR/source/overlay/$ARCHIVE_FILE  ] ; then
   echo "Source bundle $MAIN_SRC_DIR/source/overlay/$ARCHIVE_FILE is missing and will be downloaded."
   USE_LOCAL_SOURCE="false"