back to using a tmp file
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Thu, 8 Oct 2009 12:57:57 +0000 (12:57 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Thu, 8 Oct 2009 12:57:57 +0000 (12:57 +0000)
scripts/all-modules.sh

index b5cd366..792b4c5 100755 (executable)
@@ -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
 
 }