From 6971f04b04f39688a401826a4c5da9c5279b7647 Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Fri, 13 Apr 2018 16:32:33 +0200 Subject: [PATCH] Pmodules/modbuild: modulefile installation can be forced via command-line --- Pmodules/modbuild | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Pmodules/modbuild b/Pmodules/modbuild index fe4e308..8ff35d4 100755 --- a/Pmodules/modbuild +++ b/Pmodules/modbuild @@ -149,6 +149,7 @@ declare enable_cleanup_src='no' declare target='' declare bootstrap='no' declare variants_file='' +declare opt_install_modulefile='' # array collecting all modules specified on the command line via '--with=module' with_modules=() @@ -249,6 +250,9 @@ while (( $# > 0 )); do --bootstrap ) bootstrap='yes' ;; + --install-modulefile ) + opt_install_modulefile='yes' + ;; [0-9]* ) V=$1 ;;