Fix CI

Makefile

@@ -14,9 +14,9 @@ ifeq ($(TARGET),x86_64-unknown-redox)
 	CC="x86_64-unknown-redox-gcc"
 endif
 
-.PHONY: all clean fmt test
+.PHONY: all clean fmt libc test
 
-all: $(BUILD)/debug/libc.a $(BUILD)/debug/libcrt0.a $(BUILD)/openlibm/libopenlibm.a
+all: libc libm
 
 clean:
 	cargo clean
@@ -25,6 +25,10 @@ clean:
 fmt:
 	./fmt.sh
 
+libc: $(BUILD)/debug/libc.a $(BUILD)/debug/libcrt0.a 
+
+libm: $(BUILD)/openlibm/libopenlibm.a
+
 test: all
 	make -C tests run
 

ci.sh

@@ -2,8 +2,10 @@
 set -ex
 
 ./fmt.sh -- --write-mode=diff
-make
 if [ -z "$TARGET" ]
 then
+    make all
     make test
+else
+    make libc
 fi