commit 936205dc98fa35cb155867ac84b976a09dacf395
author Davide Pesavento <davidepesa@gmail.com> Tue Feb 27 21:42:44 2024 -0500
committer Davide Pesavento <davidepesa@gmail.com> Tue Feb 27 21:42:44 2024 -0500
tree 77cac2222cf53a02d4615ec338bc540eb3dba671
parent 152874af8c226ec0e3a0f286a4c04b7b52d5cf0d

build: tell libc++ to avoid including transitive headers

And apply BOOST_*_NO_DEPRECATED to debug builds only

Change-Id: Ic65c7ceae07ab6ecd3b3f7322b68f817a41f7716

.waf-tools/sanitizers.py

diff --git a/.waf-tools/sanitizers.py b/.waf-tools/sanitizers.py
index a8fe55d..c65d009 100644
--- a/.waf-tools/sanitizers.py
+++ b/.waf-tools/sanitizers.py
@@ -1,4 +1,4 @@
-# -*- Mode: python; py-indent-offset: 4; indent-tabs-mode: nil; coding: utf-8; -*-
+# Davide Pesavento (LIP6), 2016
 
 def options(opt):
     opt.add_option('--with-sanitizer', action='store', default='', dest='sanitizers',