From 6f5247b538ed14444284f159aa9b038c963608df Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Mon, 28 May 2018 11:31:19 +0200 Subject: Add hacky debian packaging. --- Makefile | 10 ---------- 1 file changed, 10 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 5d44629..798f869 100644 --- a/Makefile +++ b/Makefile @@ -95,13 +95,3 @@ $(BUILDDIR)/lib/vyos1x_parser.cmx: $(BUILDDIR)/lib/vyos1x_parser.cmi $(BUILDDIR) clean: rm -rf $(BUILDDIR) - -test: all - $(MAKE) -C $@ -ifeq ($(OSTYPE),Win32) - PATH="$(BUILDDIR):$(PATH)" _build/test/test.native test/ocaml.svg -else - LD_LIBRARY_PATH=$(BUILDDIR) _build/test/test.native test/ocaml.svg -endif - -.PHONY: test -- cgit v1.2.3