From 1310ba87c0f9045b9ddb96b73816e82a811d4f1b Mon Sep 17 00:00:00 2001
From: Martin Pärtel <martin.partel@gmail.com>
Date: Sun, 28 Apr 2019 23:37:47 +0300
Subject: Fixed vagrant tests. Removed Vagrant test for Ubuntu 12.04, added
 18.04.

---
 tests/internals/test_internals_valgrind.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'tests/internals/test_internals_valgrind.sh')

diff --git a/tests/internals/test_internals_valgrind.sh b/tests/internals/test_internals_valgrind.sh
index 4511ccd..837a3cc 100755
--- a/tests/internals/test_internals_valgrind.sh
+++ b/tests/internals/test_internals_valgrind.sh
@@ -1,5 +1,11 @@
-#!/bin/sh
+#!/bin/sh -eu
 if [ ! -x ./test_internals ]; then
     cd `dirname "$0"`
 fi
-valgrind --error-exitcode=100 ./test_internals
+
+if [ -n "`which valgrind`" ]; then
+    valgrind --error-exitcode=100 ./test_internals
+else
+    echo "Warning: valgrind not found. Running without."
+    ./test_internals
+fi
-- 
cgit v1.2.3