| commit | f6ea931af791a21a81d95e627a91ce1cb2058b3a | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 21 13:50:25 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jul 21 13:50:25 2024 -0400 |
| tree | a847b035588462b70bbfae556ecf5628a8f128a2 | |
| parent | 34acd1d702e6b575f94ad9890626280db242bcb1 [diff] [blame] |
build: recommend Xcode 13 or later Change-Id: I080da597cc325e14c3a15e7b6350bf8708239695
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',