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 | |
| parent | 38e6a478ff7365c2dedf4562481bed45ad5e3af8 (diff) | |
merged into top-level Makefile
| -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 |