turned off more noise.

diff --git a/scripts/rev_control/report_new_files.sh b/scripts/rev_control/report_new_files.sh
index 84ac828a493b50e9da8a73a1d35c96440c95080c..ca65a563a95c6f95988f244daebf381b81ceb8b3 100644 (file)
--- a/scripts/rev_control/report_new_files.sh
+++ b/scripts/rev_control/report_new_files.sh
@@ -9,7 +9,7 @@ if [ -z "$dir" ]; then
   dir=.
 fi
 
-pushd "$dir"
+pushd "$dir" &>/dev/null
 
 for i in * ; do
   if [ -d "$i" ]; then
@@ -24,4 +24,4 @@ for i in * ; do
   fi
 done
 
-popd
+popd &>/dev/null