diff options
| author | David E. O'Brien <obrien@FreeBSD.org> | 2002-08-20 03:06:30 +0000 |
|---|---|---|
| committer | David E. O'Brien <obrien@FreeBSD.org> | 2002-08-20 03:06:30 +0000 |
| commit | 1c8deadc52d6e2e6cd535103eac3fd203723a25a (patch) | |
| tree | a2118dbfc1e651a3b6f3670219f80d2c65b515aa /sys/tools/makeobjops.awk | |
| parent | 740348c40a8d17b52c5b40ced9805adc4f32cd45 (diff) | |
Use mv -f. Otherwise if you accidently build as root, and then as a user,
it keeps asking you if you want to overwrite it or not.
Submitted by: peter
Notes
Notes:
svn path=/head/; revision=102164
Diffstat (limited to 'sys/tools/makeobjops.awk')
| -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 d78698c889da..61b2a4ec5b00 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); } } |