Merge branch 'oddcoder-master-patch-78534' into 'master'

Fix make libs in CI

See merge request redox-os/relibc!256

ci.sh

@@ -7,5 +7,5 @@ then
     make all
     make test
 else
-    make libc
+    make libs
 fi