From 46756c9589c99841e696bbb7daad6b3630dc3b93 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 23 Oct 2003 12:09:34 +0000
Subject: [PATCH] * src/tgbatest/spotlbtt.test: Add notice about long run time.

---
 ChangeLog                  | 2 ++
 src/tgbatest/spotlbtt.test | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index eee80c294..dc492e498 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2003-10-23  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbatest/spotlbtt.test: Add notice about long run time.
+
 	Merge emptinesscheckexplicit into ltl2tgba.
 	* src/tgbatest/Makefile.am (check_PROGRAMS): Remove
 	emptinesscheckexplicit.
diff --git a/src/tgbatest/spotlbtt.test b/src/tgbatest/spotlbtt.test
index e9059f2db..62bd7ade9 100755
--- a/src/tgbatest/spotlbtt.test
+++ b/src/tgbatest/spotlbtt.test
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+echo 'This test can take as long as 15 minutes on a 2GHz Pentium 4.'
+
 . ./defs
 
 set -e