From b67d798abfebd1007601b99446ee159c0b9c2ed6 Mon Sep 17 00:00:00 2001
From: Raniere Silva <raniere@ime.unicamp.br>
Date: Sun, 4 Jan 2015 17:30:42 -0200
Subject: [PATCH] Fix Makefile for tools/check.py

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9eb3640..26734ba 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,7 @@ motivation.html : motivation.md _layouts/slides.html
 	-o $@ $<
 
 ## unittest : Run unit test (for Python 2 and 3)
-unittest: tools/check tools/validation_helpers.py tools/test_check.py
+unittest: tools/check.py tools/validation_helpers.py tools/test_check.py
 	cd tools/ && python2 test_check.py
 	cd tools/ && python3 test_check.py
 
-- 
GitLab