diff options
author | Jakob Kaivo <jkk@ung.org> | 2019-01-27 20:53:34 -0500 |
---|---|---|
committer | Jakob Kaivo <jkk@ung.org> | 2019-01-27 20:53:34 -0500 |
commit | b91c1a14824c49ca041c68452929870ceadaccd2 (patch) | |
tree | 0f9d0f99f051d430dad79369ed821e84648c8699 /nonstd | |
parent | 38e6a478ff7365c2dedf4562481bed45ad5e3af8 (diff) |
merged into top-level Makefile
Diffstat (limited to 'nonstd')
-rw-r--r-- | nonstd/Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
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 |