From b91c1a14824c49ca041c68452929870ceadaccd2 Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Sun, 27 Jan 2019 20:53:34 -0500 Subject: merged into top-level Makefile --- nonstd/Makefile | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 nonstd/Makefile diff --git a/nonstd/Makefile b/nonstd/Makefile deleted file mode 100644 index e1c54e66..00000000 --- a/nonstd/Makefile +++ /dev/null @@ -1,10 +0,0 @@ -.POSIX: - -CFLAGS=-nostdinc -I../include -I.. -Istubs - -default: libc.o - -libc.o: libc.c - -clean: - rm -f *.o -- cgit v1.2.1