summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-rw-r--r--wscript6
1 files changed, 3 insertions, 3 deletions
diff --git a/wscript b/wscript
index 202a339..60a2545 100644
--- a/wscript
+++ b/wscript
@@ -72,9 +72,9 @@ def configure(conf):
conf.check_tool('misc') # subst tool
- # Boost headers (e.g. libboost-dev)
- autowaf.check_header(conf, 'boost/shared_ptr.hpp', '', mandatory=True)
- autowaf.check_header(conf, 'boost/weak_ptr.hpp', '', mandatory=True)
+ # Boost headers
+ autowaf.check_header(conf, 'boost/shared_ptr.hpp', mandatory=True)
+ autowaf.check_header(conf, 'boost/weak_ptr.hpp', mandatory=True)
conf.env['PATCHAGE_VERSION'] = PATCHAGE_VERSION