From 9c4aebd8e3e3662e082611ad29928eef31314eec Mon Sep 17 00:00:00 2001
From: Thom Wiggers <thom@thomwiggers.nl>
Date: Tue, 16 Apr 2019 12:39:14 +0200
Subject: [PATCH] sanitizers don't need valgrind

---
 test/test_functest.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/test/test_functest.py b/test/test_functest.py
index f707e491..be45404d 100644
--- a/test/test_functest.py
+++ b/test/test_functest.py
@@ -53,7 +53,6 @@ def check_functest_sanitizers(implementation):
     else:
         print("Supported platform: {}".format(platform.machine()))
 
-    helpers.ensure_available('valgrind')
     helpers.make('clean-scheme', 'functest',
                  TYPE=implementation.scheme.type,
                  SCHEME=implementation.scheme.name,