back to using a tmp file

[infrastructure.git] / scripts / all-modules.sh

diff --git a/scripts/all-modules.sh b/scripts/all-modules.sh
index b5cd366..792b4c5 100755 (executable)
--- a/scripts/all-modules.sh
+++ b/scripts/all-modules.sh
@@ -60,10 +60,10 @@ function do_diff () {
 #    ( echo 'WARNINGS (if any)' ; \
 #      egrep 'was not found|Skipping failed' $out_tmp ;
 #      cat $out_tmp ) > $out_file
-#
-#    rm -f $out_tmp
 
-    $build_dir/module-diff -a -W $name &> $out_file
+    $build_dir/module-diff -a -W $name &> $out_tmp
+
+    rm -f $out_tmp
 
 }