1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 7d081ef9..48c8c09f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -45,3 +45,4 @@ src/prof_config.h
 clean.sh
 valgrind.out.old
 testsuite.out
+push-all.sh