From c7cc84afee9b6d8b196679bf784751c4052020a3 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Mon, 14 Dec 2020 13:13:56 +0100 Subject: Clean up includes --- wscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'wscript') diff --git a/wscript b/wscript index 19afe0d..688ff3c 100644 --- a/wscript +++ b/wscript @@ -184,7 +184,7 @@ def configure(conf): conf.define('PATCHAGE_USE_LIGHT_THEME', 1) # Boost headers - conf.check_cxx(header_name='boost/optional.hpp') + conf.check_cxx(header_name='boost/optional/optional.hpp') conf.check_cxx(header_name='boost/variant.hpp') # Check for system provided fmt -- cgit v1.2.1