From 2c9f17a0431d142cf27e76ec16d0008ab0e2fc0c Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Fri, 9 Aug 2024 21:22:00 +0200 Subject: [PATCH] build-system: force rebuild if option --clean-install is set --- Pmodules/modbuild.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Pmodules/modbuild.in b/Pmodules/modbuild.in index eae8a9c..570e499 100644 --- a/Pmodules/modbuild.in +++ b/Pmodules/modbuild.in @@ -261,6 +261,7 @@ parse_args() { opt_build_target=${1:2} ;; --clean-install ) + opt_force_rebuild='yes' opt_clean_install='yes' ;; --update-modulefiles )