diff options
Diffstat (limited to 'testsuite/tests/dph/diophantine/Makefile')
| -rw-r--r-- | testsuite/tests/dph/diophantine/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/testsuite/tests/dph/diophantine/Makefile b/testsuite/tests/dph/diophantine/Makefile deleted file mode 100644 index 9101fbd40a..0000000000 --- a/testsuite/tests/dph/diophantine/Makefile +++ /dev/null @@ -1,3 +0,0 @@ -TOP=../../.. -include $(TOP)/mk/boilerplate.mk -include $(TOP)/mk/test.mk |