From b461845ffeb94e902d84c058238fcfcd4074f1a6 Mon Sep 17 00:00:00 2001
From: Tristan Gingold
Date: Sat, 29 Aug 2015 08:01:46 +0200
Subject: Rename gnat/bug directories for non-gna bugs to avoid confusion.

---
 testsuite/gna/bug012/testsuite.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 testsuite/gna/bug012/testsuite.sh

(limited to 'testsuite/gna/bug012/testsuite.sh')

diff --git a/testsuite/gna/bug012/testsuite.sh b/testsuite/gna/bug012/testsuite.sh
new file mode 100755
index 0000000..9b3d98c
--- /dev/null
+++ b/testsuite/gna/bug012/testsuite.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze demo.vhd
+elab_simulate bar structural
+
+clean
+
+echo "Test successful"
-- 
cgit