| commit | 5c701fc62be740d1b24f56b1cc81d2cd87a03bbe | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 20:16:02 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 20:27:33 2024 -0400 |
| tree | e25832d575da3204d50454cbc7844a7b4d7ea731 | |
| parent | 9510c91d164dc281b83001bce73d8ef2b9d6ef69 [diff] [blame] |
build: update waf to version 2.0.27 Change-Id: I6a35992c1c9a5dd30b6e04a8993edfafb7f358fa
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',