From 7afd929e701cd299ded2bdb0663eeb575e507128 Mon Sep 17 00:00:00 2001
From: Frank Denis <github@pureftpd.org>
Date: Sun, 30 Oct 2016 01:25:32 +0200
Subject: [PATCH] js: measuring `make check` time is not useful, especially not
 in a web browser

---
 dist-build/emscripten.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist-build/emscripten.sh b/dist-build/emscripten.sh
index 3ca0b7ea..d4754fc6 100755
--- a/dist-build/emscripten.sh
+++ b/dist-build/emscripten.sh
@@ -117,7 +117,7 @@ else
       mv -f "${file}.tmp" "$file"
     done
   )
-  time make $MAKE_FLAGS check || exit 1
+  make $MAKE_FLAGS check || exit 1
   touch "$DONE_FILE"
 fi