summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--wscript2
1 files changed, 0 insertions, 2 deletions
diff --git a/wscript b/wscript
index a76c059..ee74edd 100644
--- a/wscript
+++ b/wscript
@@ -72,8 +72,6 @@ def configure(conf):
else:
conf.env['HAVE_LASH'] = False
- conf.check_tool('misc') # subst tool
-
# Boost headers
autowaf.check_header(conf, 'boost/shared_ptr.hpp', mandatory=True)
autowaf.check_header(conf, 'boost/weak_ptr.hpp', mandatory=True)