From 838c8a148437d1058d90a0ba0cbdb2e97b30c831 Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Wed, 11 Oct 2017 15:49:37 +0100
Subject: [PATCH] Fix testing-utils Makefile dependency

This previously led to it being built on first use, but not rebuilt
on subsequent change.
---
 unit/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/unit/Makefile b/unit/Makefile
index 2b2cd1432c0..09a80b19c01 100644
--- a/unit/Makefile
+++ b/unit/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all cprover.dir test
+.PHONY: all cprover.dir testing-utils.dir test
 
 # Source files for test utilities
 SRC = unit_tests.cpp \
@@ -40,7 +40,7 @@ include ../src/common
 cprover.dir:
 	$(MAKE) $(MAKEARGS) -C ../src
 
-testing-utils/testing-utils$(LIBEXT):
+testing-utils.dir:
 	$(MAKE) $(MAKEARGS) -C testing-utils
 
 CPROVER_LIBS =../src/java_bytecode/java_bytecode$(LIBEXT) \
@@ -69,7 +69,7 @@ TESTS = unit_tests$(EXEEXT) \
 
 CLEANFILES = $(TESTS)
 
-all: cprover.dir
+all: cprover.dir testing-utils.dir
 	$(MAKE) $(MAKEARGS) $(TESTS)
 
 test: all