From 467799c6c35dee67a6d92872c67dcc886c788bb0 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 27 Feb 2019 10:57:36 +0100
Subject: [PATCH] test(tests/playground/run.sh): fix

---
 tests/playground/run.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tests/playground/run.sh b/tests/playground/run.sh
index 58973f580a..cdc955f8b5 100755
--- a/tests/playground/run.sh
+++ b/tests/playground/run.sh
@@ -3,6 +3,7 @@ if [ $# -eq 0 ]; then
     echo "Usage: run.sh [file] [args]*"
     exit 1
 fi
-./compile.sh $1
+ff=$1
+./compile.sh $ff
 shift 1
-"./$ff.out" $*
+time "./$ff.out" $*