Browse Source

port r14794 from 1.1: Add missing distrib file

Samuel Thibault 10 years ago
parent
commit
a0156a6527
1 changed files with 1 additions and 0 deletions
  1. 1 0
      tools/Makefile.am

+ 1 - 0
tools/Makefile.am

@@ -79,6 +79,7 @@ EXTRA_DIST =				\
 	dev/rename.sed			\
 	dev/rename.sh			\
 	perfmodels/README		\
+	valgrind/libc.suppr		\
 	valgrind/hwloc.suppr		\
 	valgrind/libnuma.suppr		\
 	valgrind/openmpi.suppr		\