Bug correction : /tmp/junk -> /dev/null

diff --git a/scripts/renameSalomeModule b/scripts/renameSalomeModule
index 7354291e8b1b9f0e8b2dc1f8b32dff4054873b48..0347fc0dc2400e074722b4868cf3cd13401cac44 100755 (executable)
--- a/scripts/renameSalomeModule
+++ b/scripts/renameSalomeModule
@@ -101,7 +101,7 @@ for file in $liste
 do
     if [ -f $file ]
     then
-       grep $oldName $file > /tmp/junk 2>&1
+       grep $oldName $file > /dev/null 2>&1
        if [ $? -eq 0 ]
        then
            echo $file