misc/jenkins: unitrun without --quiet do not use ' for turing

[nit.git] / misc / jenkins / unitrun.sh

diff --git a/misc/jenkins/unitrun.sh b/misc/jenkins/unitrun.sh
index 10dfd38..ed4e2f7 100755 (executable)
--- a/misc/jenkins/unitrun.sh
+++ b/misc/jenkins/unitrun.sh
@@ -28,7 +28,7 @@ shift
 if env time --quiet -f%U true 2>/dev/null; then
        TIME="env time --quiet -f%U -o '${name}.t.out'"
 elif env time -f%U true 2>/dev/null; then
-       TIME="env time -f%U -o '${name}.t.out'"
+       TIME="env time -f%U -o ${name}.t.out"
 else
        TIME=
 fi