Home GnuPG

dist: Improve header search

Description

dist: Improve header search

With this change, /usr/include will be searched for the required
headers. Before this change, this was dead code as include_dirs is
always set.

Details

Provenance
Paul Schwabauer <pschwabauer@intevation.de>Authored on Thu, Apr 24, 8:24 AM
Parents
rGPGMEPY4a981f00afcc: build: Add a check for the setuptools module
Branches
Unknown
Tags
Unknown

Event Timeline

Paul Schwabauer <pschwabauer@intevation.de> committed rGPGMEPYfcb0ca68da2a: dist: Improve header search (authored by Paul Schwabauer <pschwabauer@intevation.de>).Fri, May 2, 9:43 AM