From 2b460b9ee2461621dda8e7d5d3855d35e2570809 Mon Sep 17 00:00:00 2001 From: James Adams Date: Tue, 19 Aug 2014 10:57:07 +0100 Subject: [PATCH] Allow `GLITE_BASE_CONFIG_SITE` to be optional Fixes #31. --- machine-types/core.pan | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/machine-types/core.pan b/machine-types/core.pan index 16587a2c..e72ba081 100644 --- a/machine-types/core.pan +++ b/machine-types/core.pan @@ -144,7 +144,8 @@ include { USER_CONFIG_INCLUDE }; # # Add site specific configuration if any # -include { return(GLITE_BASE_CONFIG_SITE) }; +variable GLITE_BASE_CONFIG_SITE ?= null; +include GLITE_BASE_CONFIG_SITE; # Default repository configuration template variable PKG_REPOSITORY_CONFIG ?= 'repository/config';