From 6efbb986ae874f2e0abf79041d12bc8fa073e993 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 4 Nov 2019 20:29:13 +0100
Subject: testsuite: it is now possible to run a single test.

---
 testsuite/formal/shifts/testsuite.sh | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'testsuite/formal')

diff --git a/testsuite/formal/shifts/testsuite.sh b/testsuite/formal/shifts/testsuite.sh
index 38eb376..eb04217 100755
--- a/testsuite/formal/shifts/testsuite.sh
+++ b/testsuite/formal/shifts/testsuite.sh
@@ -1,5 +1,8 @@
 #!/bin/sh
 
+topdir=../..
+. $topdir/testenv.sh
+
 for f in lsl lsr asr; do
   formal "test_${f}"
 done
-- 
cgit v1.2.3