From 76c4ca40592694d4ee72511934197a9b32f9c448 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Valverde?= <j@v6e.pt>
Date: Thu, 11 Nov 2021 18:06:11 +0000
Subject: [PATCH] CMake: Remove globals.h from public headers

On closer inspection this doesn't seem to contain any public
interfaces.
---
 CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 416c3e91cc..0e2147e5cb 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -3439,7 +3439,6 @@ set(SHARK_PUBLIC_HEADERS
 	cfile.h
 	cli_main.h
 	file.h
-	globals.h
 	ws_attributes.h
 	ws_compiler_tests.h
 	ws_diag_control.h