From c8855ab98643f449d6f83608d5445dd3d05341e1 Mon Sep 17 00:00:00 2001 From: simbit18 <101105604+simbit18@users.noreply.github.com> Date: Mon, 14 Nov 2022 17:31:48 +0100 Subject: [PATCH] Update configure.bat (USAGE): Add -E -e --- tools/configure.bat | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tools/configure.bat b/tools/configure.bat index 66c4f06484b..5f40aa7b9ac 100755 --- a/tools/configure.bat +++ b/tools/configure.bat @@ -119,11 +119,15 @@ goto End echo Missing ^:^ argument :ShowUsage -echo USAGE: %0 [-d] [-b|f] [-a ^] ^:^ +echo USAGE: %0 [-d] [-E] [-e] [-b|f] [-a ^] ^:^ echo %0 [-h] echo\nWhere: echo -d: echo Enables debug output +echo -E: +echo Enforces distclean if already configured. +echo -e: +echo Performs distclean if configuration changed. echo -b: echo Informs the tool that it should use Windows style paths like C:\\Program Files echo instead of POSIX style paths are used like /usr/local/bin. Windows