diff options
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index d3cce3934d..dd5bf904b2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -174,6 +174,7 @@ EXTRA_DIST+= \ scripts/maint/practracker/practracker.py \ scripts/maint/practracker/practracker_tests.py \ scripts/maint/practracker/problem.py \ + scripts/maint/practracker/testdata/.may_include \ scripts/maint/practracker/testdata/a.c \ scripts/maint/practracker/testdata/b.c \ scripts/maint/practracker/testdata/ex0-expected.txt \ @@ -181,6 +182,7 @@ EXTRA_DIST+= \ scripts/maint/practracker/testdata/ex1-expected.txt \ scripts/maint/practracker/testdata/ex1.txt \ scripts/maint/practracker/testdata/ex.txt \ + scripts/maint/practracker/testdata/header.h \ scripts/maint/practracker/testdata/not_c_file \ scripts/maint/practracker/test_practracker.sh \ scripts/maint/practracker/util.py |