From 176b2e5ff288d658ac4b07df36bba0f73fb9c09e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 2 Feb 2021 22:48:16 -0500 Subject: [PATCH] cleanup of makefile --- Makefile | 3 --- 1 file changed, 3 deletions(-) diff --git a/Makefile b/Makefile index 52ce94111..f5f16076b 100644 --- a/Makefile +++ b/Makefile @@ -23,9 +23,6 @@ benchs: examples: dune build examples/id_sexp.exe -unlabel: - dune build @unlabel - VERSION=$(shell awk '/^version:/ {print $$2}' containers.opam) update_next_tag: