From c2fb4fddedf74b5fe3971c168cb4fb9456541fe7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Kochma=C5=84ski?= <daniel@turtleware.eu>
Date: Thu, 17 Nov 2016 20:00:29 +0100
Subject: [PATCH] Add ecl_min target in toplevel Makefile

---
 Makefile.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile.in b/Makefile.in
index d81f21b3b..4f52193fe 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -73,6 +73,9 @@ all: build/Makefile
 Makefile: Makefile.in build/config.status
 	(cd build; ./config.status)
 
+ecl_min: build/Makefile
+	cd build; $(MAKE) ecl_min
+
 # ==================== Installation ====================
 
 INSTALL_TARGET = @INSTALL_TARGET@