From 6cb240e9a78d6fc23e3abd1b1b1a8257f73f97c4 Mon Sep 17 00:00:00 2001 From: Peng Wu Date: Oct 10 2020 06:54:13 +0000 Subject: Remove 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 $?