diff --git a/tests/dev/Makefile.inc b/tests/dev/Makefile.inc
deleted file mode 100644
index a872f03b2584..000000000000
--- a/tests/dev/Makefile.inc
+++ /dev/null
@@ -1,2 +0,0 @@
-.include "../Makefile.inc"
-CPPFlAGS+=-D_KERNTYPES