From f46d39f852108ccd206c478860e12257af3b10ec Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 14 Jun 2016 12:02:41 +0200 Subject: [PATCH] * tests/Makefile.am: Distribute elevator2.1.pm. --- tests/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tests/Makefile.am b/tests/Makefile.am index 391dda4e7..3c585789a 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -365,7 +365,8 @@ TESTS_ltsmin = \ ltsmin/finite2.test \ ltsmin/kripke.test -EXTRA_DIST += ltsmin/beem-peterson.4.dve ltsmin/finite.dve ltsmin/finite.pm +EXTRA_DIST += ltsmin/beem-peterson.4.dve ltsmin/elevator2.1.pm \ + ltsmin/finite.dve ltsmin/finite.pm ltlsmin/kripke.log: core/kripkecat$(EXEEXT)