From 9b4edbc387f7927090e1f22faa399b3c6984ce68 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 9 Nov 2004 18:13:27 +0000 Subject: [PATCH] * src/tgbatest/Makefile.am (TESTS): Remove non-existing magic.test and se05.test. --- ChangeLog | 3 +++ src/tgbatest/Makefile.am | 18 +++++++++++++----- 2 files changed, 16 insertions(+), 5 deletions(-) diff --git a/ChangeLog b/ChangeLog index 98f10e7cd..0b5ed78d6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-11-09 Alexandre Duret-Lutz + * src/tgbatest/Makefile.am (TESTS): Remove non-existing magic.test + and se05.test. + * src/tgbatest/ltl2tgba.cc (syntax): Fix old typos and reword some help strings. diff --git a/src/tgbatest/Makefile.am b/src/tgbatest/Makefile.am index 994f26283..b4c90e4db 100644 --- a/src/tgbatest/Makefile.am +++ b/src/tgbatest/Makefile.am @@ -80,14 +80,22 @@ TESTS = \ reduccmp.test \ reductgba.test \ emptchk.test \ - magic.test \ - se05.test \ emptchke.test \ dfs.test \ spotlbtt.test EXTRA_DIST = $(TESTS) ltl2baw.pl -CLEANFILES = input input1 input2 input3 stdout expected config output1 output2 \ -red blue_counter blue_last - +CLEANFILES = \ + blue_counter \ + blue_last \ + config \ + expected \ + input \ + input1 \ + input2 \ + input3 \ + output1 \ + output2 \ + red \ + stdout