diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2021-03-04 09:49:18 +0000 |
---|---|---|
committer | Wireshark GitLab Utility <gerald+gitlab-utility@wireshark.org> | 2021-03-04 10:16:41 +0000 |
commit | 4628a607400d1b5503b228f0179ab73ef2125751 (patch) | |
tree | 91ea1b03f6a3697d8fbeb4559e518ec84cf943ce /debian/headers-check.c | |
parent | 17960534912a15273d7dae81d8d2b641a3ed6c92 (diff) |
debian: config.h is not a public header
The configuration of the build machine is not part of our public
API. 'config.h' must not be installed with system headers,
otherwise it generates all sorts of collisions and generally makes
life unpleasant.
Diffstat (limited to 'debian/headers-check.c')
-rw-r--r-- | debian/headers-check.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/headers-check.c b/debian/headers-check.c index 0cc885ab25..9ed391a19d 100644 --- a/debian/headers-check.c +++ b/debian/headers-check.c @@ -10,7 +10,6 @@ * SPDX-License-Identifier: GPL-2.0-or-later */ -#include <wireshark/config.h> #include <epan/stats_tree.h> #include <epan/packet.h> #include <epan/prefs.h> |