From cd74fdf23471904e85bbef2b8c96b9bb6e9d7695 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <Patrick.Pelissier@gmail.com>
Date: Thu, 29 Mar 2018 19:13:35 +0200
Subject: [PATCH] time command doesn't work reliabely in Makefile

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

diff --git a/bench/nucleotide/Makefile b/bench/nucleotide/Makefile
index d906758f..b3033e9d 100644
--- a/bench/nucleotide/Makefile
+++ b/bench/nucleotide/Makefile
@@ -6,7 +6,7 @@ CPPFLAGS=-I../..
 all: k-nucleotide
 
 k-nucleotide: k-nucleotide.exe data.txt
-	time ./k-nucleotide.exe < data.txt
+	./k-nucleotide.exe < data.txt
 
 k-nucleotide.exe: nucleotide.c
 	$(CC) $(CFLAGS) $(CPPFLAGS) nucleotide.c -o k-nucleotide.exe -lpthread