From ecc003fd2aace0044e04305acd795441166c19e9 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 10 Jun 2014 14:25:55 +0100
Subject: Minor color and build tweaks

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 22f3beb2..a8aeb1a4 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,6 +1,6 @@
 .PHONY: all sail test clean doc lib power test_power test_idempotence
 
-all: sail test lib power doc
+all: sail lib power doc test
 
 sail:
 	ocamlbuild sail.native
-- 
cgit v1.2.3