From 6ed5d32ed298a2cf06acfcff1c2a6e8016814ac5 Mon Sep 17 00:00:00 2001 From: Hugo Guerrier Date: Wed, 22 Nov 2023 17:58:18 +0100 Subject: [PATCH] Correct the GNATcheck CLI help message --- lkql_checker/src/gnatcheck-output.adb | 1 + 1 file changed, 1 insertion(+) diff --git a/lkql_checker/src/gnatcheck-output.adb b/lkql_checker/src/gnatcheck-output.adb index 40f57550a..c47f6c26d 100644 --- a/lkql_checker/src/gnatcheck-output.adb +++ b/lkql_checker/src/gnatcheck-output.adb @@ -716,6 +716,7 @@ package body Gnatcheck.Output is Info (" -Pproject - Use project file project. Only one such switch can be used"); Info (" -U - check all sources of the argument project"); Info (" -U main - check the closure of units rooted at unit main"); + Info (" --no-subprojects - process only sources of root project"); Info (" -Xname=value - specify an external reference for argument project file"); Info (" --subdirs=dir - specify subdirectory to place the result files into"); Info (" --simple-project - simple project set up");