From cf26e211f7e39703e0d6e7f8ce91dedefdaa5a5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20P=C3=A9gouri=C3=A9-Gonnard?= <mpg@elzevir.fr>
Date: Thu, 2 Jul 2015 19:47:06 +0200
Subject: [PATCH] Small Make tune-up

On first build, targets such as 'programs' already worked fine. By adding
'lib' as a dependency here, we make sure dependencies for the library are
checked first so that it is rebuild if necessary on subsequent builds.
---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 0e272c6dd..c5720c784 100644
--- a/Makefile
+++ b/Makefile
@@ -10,13 +10,13 @@ all: programs tests
 
 no_test: programs
 
-programs:
+programs: lib
 	$(MAKE) -C programs
 
 lib:
 	$(MAKE) -C library
 
-tests:
+tests: lib
 	$(MAKE) -C tests
 
 ifndef WINDOWS
@@ -60,7 +60,7 @@ ifndef WINDOWS
 endif
 
 ifndef WINDOWS
-check:
+check: lib
 	$(MAKE) -C tests check
 
 test: check