diff --git a/ci/build_libs.sh b/ci/build_libs.sh
deleted file mode 100755
index 1cf07cb..0000000
--- a/ci/build_libs.sh
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/bin/bash
-
-START_DIR=$PWD
-LIBDAISY_DIR=$PWD/libs/libDaisy
-DAISYSP_DIR=$PWD/libs/DaisySP
-
-echo "building libDaisy . . ."
-cd "$LIBDAISY_DIR" ; make -s clean ; make -j -s
-if [ $? -ne 0 ]
-then
-    echo "Failed to compile libDaisy"
-    exit 1
-fi
-echo "done."
-
-echo "building DaisySP . . ."
-cd "$DAISYSP_DIR" ; make -s clean ; make -j -s
-if [ $? -ne 0 ]
-then
-    echo "Failed to compile DaisySP"
-    exit 1
-fi
-echo "done."
-