From 6cb240e9a78d6fc23e3abd1b1b1a8257f73f97c4 Mon Sep 17 00:00:00 2001 From: Peng Wu Date: Sat, 10 Oct 2020 14:54:13 +0800 Subject: [PATCH] Remove make_check.sh --- tests/make_check.sh | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 tests/make_check.sh diff --git a/tests/make_check.sh b/tests/make_check.sh deleted file mode 100644 index 7e5a313..0000000 --- a/tests/make_check.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash - -set -x - -check_return_value () { - if [ $1 != 0 ] ; then - exit $1 - fi -} - -cd $1 -./configure --prefix=/usr -check_return_value $? -make check -exit $?