| commit | 5ca40bb5d2d57ecbb9b291a42c7a87ae7fe3ec45 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 20:50:42 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 20:50:42 2024 -0400 |
| tree | ed466cae7aa9ce6902fa60f0b16dbdf23789814f | |
| parent | 16479f322df8473e0cf76f10aa0d4573ba43d7f5 [diff] [blame] |
build: update waf to version 2.0.27 Change-Id: I266ac34666eab05dd9c9108690ed1986dcdb0480
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',