From 07fcd427d514dcd8c01a2323cebc14e8e6bd4d88 Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Thu, 9 Jun 2022 14:30:55 +0200 Subject: [PATCH] modbuild: option added to set/override overlay --- Pmodules/modbuild.in | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Pmodules/modbuild.in b/Pmodules/modbuild.in index 1c0cf1a..b042cdb 100755 --- a/Pmodules/modbuild.in +++ b/Pmodules/modbuild.in @@ -175,6 +175,7 @@ declare opt_force_rebuild='no' declare -i opt_jobs=0 declare opt_update_modulefiles='no' declare opt_system='' +declare opt_overlay='' declare opt_verbose='no' # array collecting all modules specified on the command line via '--with=module' declare -a opt_with_modules=() @@ -540,7 +541,11 @@ build_modules_yaml(){ local relstage local ol_name for (( i=0; i