From 37895095d71216666c0e9caee808951e471ddd02 Mon Sep 17 00:00:00 2001
From: Mark Olesen <Mark.Olesen@esi-group.com>
Date: Wed, 24 Jun 2020 11:27:40 +0200
Subject: [PATCH] ENH: also support --prefix for AllwmakeParseArguments
- corresponds to general conventions/expectations
---
wmake/scripts/AllwmakeParseArguments | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/wmake/scripts/AllwmakeParseArguments b/wmake/scripts/AllwmakeParseArguments
index d7273dc16be..fb3882bdc77 100644
--- a/wmake/scripts/AllwmakeParseArguments
+++ b/wmake/scripts/AllwmakeParseArguments
@@ -61,11 +61,11 @@ Executing ${0##*/} is equivalent to
wmake -all [OPTIONS]
With additional options:
- -l | -log Tee output to log.\$WM_OPTIONS
- -log=NAME Tee output to given filename
- -prefix=... Identical to wmake -module-prefix
- -no-recursion Prevent recursive call (do NOT call 'wmake -all')
- -fromWmake Same as -no-recursion
+ -l | -log Tee output to log.\$WM_OPTIONS
+ -log=NAME Tee output to given filename
+ -prefix=... Define FOAM_MODULE_PREFIX (same as wmake -module-prefix)
+ -no-recursion Prevent recursive call (do NOT call 'wmake -all')
+ -fromWmake Same as -no-recursion
See
wmake -help (or wmake -help-full)
@@ -97,7 +97,7 @@ do
# Pass onwards to other Allwmake scripts
;;
- -prefix=* | -module-prefix=*)
+ -module-prefix=* | -prefix=* | --prefix=*)
optPrefix="${arg#*=}"
case "$optPrefix" in
# Prefix: user
--
GitLab