diff options
Diffstat (limited to 'testsuite/tests/utils/Makefile')
| -rw-r--r-- | testsuite/tests/utils/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/utils/Makefile b/testsuite/tests/utils/Makefile new file mode 100644 index 0000000000..9be8d6a8d1 --- /dev/null +++ b/testsuite/tests/utils/Makefile @@ -0,0 +1,8 @@ +BASEDIR=../.. +MODULES=testing misc +INCLUDES= -I $(OTOPDIR)/utils +ADD_COMPFLAGS=$(INCLUDES) +CMO_FILES+="misc.cmo" + +include $(BASEDIR)/makefiles/Makefile.several +include $(BASEDIR)/makefiles/Makefile.common |