git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0c305d5)
should be better..
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Thu, 8 Oct 2009 13:14:54 +0000 (13:14 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Thu, 8 Oct 2009 13:14:54 +0000 (13:14 +0000)
scripts/all-modules.sh patch | blob | history

diff --git a/scripts/all-modules.sh b/scripts/all-modules.sh
index e6b0d96..0e46a73 100755 (executable)
--- a/scripts/all-modules.sh
+++ b/scripts/all-modules.sh
@@ -63,7 +63,7 @@ function do_diff () {
 
     $build_dir/module-diff -a -W $name &> $out_tmp
 
-    rm -f $out_tmp
+    mv -f $out_tmp $out_file
 
 }
 
infrastructure