From 1387c36253666c6b4ba0f2add4531151ac747cc4 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Fri, 26 Oct 2018 15:24:34 +0200
Subject: [PATCH] build: handle new option to pass modbuild configuration file

---
 build | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/build b/build
index 49739db..e66e4c2 100755
--- a/build
+++ b/build
@@ -104,6 +104,7 @@ pmodules::compile() {
 		shift
 
 		"${BOOTSTRAP_DIR}/Pmodules/modbuild" \
+			"--config=${config_file}" \
 			"${BOOTSTRAP_DIR}/Tools/${name}/build" \
 			"${build_opts[@]}" "$@" "${version}" || \
 			std::die 3 "Compiling '${name}' failed!"
@@ -121,11 +122,11 @@ pmodules::compile() {
 				build_opts+=( "$1" )
 				;;
 			--config )
-				config_file="$2"
+				config_file=$(std::get_abspath "$2")
 				shift 1
 				;;
 			--config=* )
-				config_file="${1#*=}"
+				config_file=$(std::get_abspath "${1#*=}")
 				;;
 			--install-root )
 				PMODULES_ROOT="$2"