jenkins: delete python hacks
authorJustus Winter <justus@g10code.com>
Wed, 11 Jan 2017 12:41:48 +0000 (13:41 +0100)
committerJustus Winter <justus@g10code.com>
Wed, 11 Jan 2017 12:41:48 +0000 (13:41 +0100)
Signed-off-by: Justus Winter <justus@g10code.com>
misc/jenkins/bin/python.txt [deleted file]
misc/jenkins/bin/python3 [deleted file]

diff --git a/misc/jenkins/bin/python.txt b/misc/jenkins/bin/python.txt
deleted file mode 100644 (file)
index 6eaf41a..0000000
+++ /dev/null
@@ -1 +0,0 @@
-leak:python
diff --git a/misc/jenkins/bin/python3 b/misc/jenkins/bin/python3
deleted file mode 100755 (executable)
index fed5c24..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-LD_PRELOAD=/usr/lib/x86_64-linux-gnu/libasan.so.2 \
-LSAN_OPTIONS=suppressions=/home/jenkins/bin/python.txt \
-exec /usr/bin/python3 "$@"