From 00c0959b01803f6db71e6380a6ec760a98f7b5cd Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 9 Jul 2020 06:46:32 +0200
Subject: ghdlprint: enable missing xrefs warning

---
 src/ghdldrv/ghdlprint.adb | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/ghdldrv')

diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb
index 38c70699a..f09b059a1 100644
--- a/src/ghdldrv/ghdlprint.adb
+++ b/src/ghdldrv/ghdlprint.adb
@@ -1356,6 +1356,7 @@ package body Ghdlprint is
          end if;
       elsif Option = "--check-missing" then
          Cmd.Check_Missing := True;
+         Enable_Warning (Warnid_Missing_Xref, True);
          Res := Option_Ok;
       else
          Decode_Option (Command_Html (Cmd), Option, Arg, Res);
-- 
cgit v1.2.3