From b93bc5e671acefc4926818b73642ee4af68731bc Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 20 May 2017 15:26:26 +0200
Subject: [PATCH] remove typo

---
 tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests.sh b/tests.sh
index 8e7b07eaf..eba2ae62c 100755
--- a/tests.sh
+++ b/tests.sh
@@ -5,7 +5,7 @@
 
 TDIR=build/local_prefix/work/hermit/x86_64-hermit/extra
 FILES="$TDIR/tests/hello $TDIR/tests/hellof $TDIR/tests/hello++ $TDIR/tests/thr_hello $TDIR/tests/pi $TDIR/benchmarks/stream $TDIR/benchmarks/basic $TDIR/tests/signals $TDIR/tests/test-malloc $TDIR/tests/test-malloc-mt"
-PROXY=build/local_prefix/work/hermit/bin/proxy/bin/proxy
+PROXY=build/local_prefix/work/hermit/bin/proxy
 
 for f in $FILES; do echo "check $f..."; timeout --kill-after=5m 5m $PROXY $f || exit 1; done