Allow GLITE_BASE_CONFIG_SITE to be optional

Fixes #31.
quattor · Aug 19, 2014 · 2b460b9 · 2b460b9
1 parent 6cbe074
commit 2b460b9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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';