diff --git a/ci.sh b/ci.sh
index 3f29adc31735e3f3d97227ab0af663260b236140..1c5d33b03881931b1284c1c23550319ed944db6f 100755
--- a/ci.sh
+++ b/ci.sh
@@ -7,5 +7,5 @@ then
     make all
     make test
 else
-    make libc
+    make libs
 fi