git.iko.soy/Idris-dev
on 385dcbf help sign in
Idris-dev/test/base001/Makefile
11 lines 117 B history raw
1.PHONY:
2all: exit1 sys.o
4exit1:
5 @gcc -Wall -o exit1 exit1.c
7sys.o:
8 @gcc -Wall -c sys.c
10clean:
11 -@rm exit1 sys.o