v8080: use the 8080 checker we added

We don't want long signed divide/multiply or floats sneaking into the kernel

diff --git a/Kernel/platform-v8080/Makefile b/Kernel/platform-v8080/Makefile
index ea4f3bb..4e0c9fd 100644 (file)
--- a/Kernel/platform-v8080/Makefile
+++ b/Kernel/platform-v8080/Makefile
@@ -42,3 +42,4 @@ image: bootblock
        ../usermem_std-8080.o devfd.o $(LIBC) end.o
        anm fuzix.bin | ../tools/8080map > ../fuzix.map
        ../tools/ack2kernel -v fuzix.bin ../fuzix.bin
+       ../tools/check8080 fuzix.bin