diff options
Diffstat (limited to 'sys/tools')
| -rw-r--r-- | sys/tools/makeobjops.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/tools/makeobjops.awk b/sys/tools/makeobjops.awk index d78698c..61b2a4e 100644 --- a/sys/tools/makeobjops.awk +++ b/sys/tools/makeobjops.awk @@ -474,9 +474,9 @@ for (file_i = 0; file_i < num_files; file_i++) { } else { if (opt_c) - system_check("mv " ctmpfilename " " cfilename); + system_check("mv -f " ctmpfilename " " cfilename); if (opt_h) - system_check("mv " htmpfilename " " hfilename); + system_check("mv -f " htmpfilename " " hfilename); } } |
