remove unused CI script

diff --git a/ci/autotools-build_and_test.sh b/ci/autotools-build_and_test.sh
deleted file mode 100755 (executable)
index 9f6197d..0000000
--- 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