projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2f41628)
Adding a missing makefile to the dist (fixes distcheck)
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 1 May 2013 14:50:39 +0000 (10:50 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 1 May 2013 14:50:39 +0000 (10:50 -0400)
test/regress/Makefile.am patch | blob | history

diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am
index f0cfe4301b085771406093aebd002406a1687ae0..532d7014307cb9f97e7fa15db509fde80a418a35 100644 (file)
--- a/test/regress/Makefile.am
+++ b/test/regress/Makefile.am
@@ -23,5 +23,6 @@ regress test: check
 units systemtests:
 
 EXTRA_DIST = \
+       Makefile.levels \
        run_regression \
        README