]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
tasks: Handle an empty sanitizers list
authorRemi Gacogne <remi.gacogne@powerdns.com>
Fri, 13 Oct 2023 10:30:08 +0000 (12:30 +0200)
committerRemi Gacogne <remi.gacogne@powerdns.com>
Mon, 30 Oct 2023 08:14:56 +0000 (09:14 +0100)
tasks.py

index 80de49e97e012048fa3b7617215246cf9a825849..d6059666a2e2f574fcefc521d93ca0d48f1b3cfa 100644 (file)
--- a/tasks.py
+++ b/tasks.py
@@ -366,7 +366,7 @@ def ci_docs_add_ssh(c, ssh_key, host_key):
 
 
 def get_sanitizers():
-    sanitizers = os.getenv('SANITIZERS')
+    sanitizers = os.getenv('SANITIZERS', '')
     if sanitizers != '':
         sanitizers = sanitizers.split('+')
         sanitizers = ['--enable-' + sanitizer for sanitizer in sanitizers]
@@ -566,7 +566,7 @@ def ci_dnsdist_configure(c, features):
                           -DDISABLE_NPN'
     unittests = ' --enable-unit-tests' if os.getenv('UNIT_TESTS') == 'yes' else ''
     fuzztargets = '--enable-fuzz-targets' if os.getenv('FUZZING_TARGETS') == 'yes' else ''
-    sanitizers = ' '.join('--enable-'+x for x in os.getenv('SANITIZERS').split('+')) if os.getenv('SANITIZERS') != '' else ''
+    sanitizers = get_sanitizers()
     coverage = '--enable-coverage=clang' if is_coverage_enabled() else ''
     cflags = get_cflags()
     cxxflags = " ".join([get_cxxflags(), additional_flags])