From aa69b2fd62dfed557e1371d24a188bda7e94adef Mon Sep 17 00:00:00 2001 From: John Safranek Date: Fri, 4 Aug 2023 07:38:48 -0700 Subject: [PATCH] Update the header comment. --- fips-check.sh | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/fips-check.sh b/fips-check.sh index 72946e89d..bc2b7fa8e 100755 --- a/fips-check.sh +++ b/fips-check.sh @@ -7,14 +7,10 @@ # copy of our FIPS approved code. # # This should check out all the approved flavors. The command line -# option selects the flavor. -# -# $ ./fips-check [flavor] [keep] -# -# - flavor: linux (default), ios, android, windows, freertos, linux-ecc, netbsd-selftest, linuxv2, fipsv2-OE-ready, stm32l4-v2, linuxv5, fips-ready, fips-dev -# -# - keep: (default off) XXX-fips-test temp dir around for inspection +# option selects the flavor. The keep option keeps the output +# directory. # +# Some variables may be overridden on the command line. Usage() { cat <