Browse Source

tools/Makefile.am: add file to dist

Nathalie Furmento 6 years ago
parent
commit
efebac1e79
1 changed files with 2 additions and 1 deletions
  1. 2 1
      tools/Makefile.am

+ 2 - 1
tools/Makefile.am

@@ -4,7 +4,7 @@
 # Copyright (C) 2017                                     Erwan Leria
 # Copyright (C) 2009-2017                                Université de Bordeaux
 # Copyright (C) 2013                                     Joris Pablo
-# Copyright (C) 2010-2017                                CNRS
+# Copyright (C) 2010-2018                                CNRS
 #
 # StarPU is free software; you can redistribute it and/or modify
 # it under the terms of the GNU Lesser General Public License as published by
@@ -142,6 +142,7 @@ EXTRA_DIST =				\
 	dev/checker/rename.sed		\
 	dev/checker/rename.sh		\
 	dev/cppcheck/suppressions.txt	\
+	dev/valgrind/bash.suppr		\
 	dev/valgrind/fxt.suppr		\
 	dev/valgrind/hdf5.suppr		\
 	dev/valgrind/hwloc.suppr	\