Skip to content

Commit 6373784

Browse files
committed
Merge branch 'mr/fofanov/gnatkp-version' into 'master'
Change version string in GNATKP mode. See merge request eng/libadalang/langkit-query-language!330
2 parents a3a51b8 + 8d00792 commit 6373784

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

lkql_checker/src/gnatcheck-output.adb

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -320,8 +320,11 @@ package body Gnatcheck.Output is
320320

321321
procedure Print_Tool_Version (Released_At : Positive) is
322322
begin
323-
Put ("GNATCHECK ");
324-
Put (Version_String);
323+
if Gnatkp_Mode then
324+
Put ("GNATKP " & Date);
325+
else
326+
Put ("GNATCHECK " & Version_String);
327+
end if;
325328
New_Line;
326329

327330
Put ("Copyright (C) ");

0 commit comments

Comments
 (0)