From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Sun, 19 Jul 2020 02:21:49 +0000 (-0700)
Subject: remove unused CI script
X-Git-Tag: 2.46.0~20^2^2~183^2^2~2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4d41d71562b38ef26f1bcccda20f952db4f9f26a;p=graphviz

remove unused CI script
---

diff --git a/ci/autotools-build_and_test.sh b/ci/autotools-build_and_test.sh
deleted file mode 100755
index 9f6197de8..000000000
--- a/ci/autotools-build_and_test.sh
+++ /dev/null
@@ -1,38 +0,0 @@
-#!/bin/sh
-
-# Run this script from the root source directory 
-
-if ./autogen.sh ; then
-    echo "autogen.sh succesfull."
-else
-    echo "Error: autogen.sh failed." >&2
-    exit 1
-fi
-
-if make ; then
-    echo "make succesfull."
-else
-    echo "Error: make failed." >&2
-    exit 1
-fi
-
-if make install ; then
-    echo "make install succesfull."
-else
-    echo "Error: make install failed." >&2
-    exit 1
-fi
-
-if make check ; then
-    echo "make check succesfull."
-else
-    echo "Error: make check failed." >&2
-    exit 1
-fi
-
-if make dist ; then
-    echo "make dist succesfull."
-else
-    echo "Error: make dist failed." >&2
-    exit 1
-fi