diff options
author | obrien <obrien@FreeBSD.org> | 2002-08-20 03:06:30 +0000 |
---|---|---|
committer | obrien <obrien@FreeBSD.org> | 2002-08-20 03:06:30 +0000 |
commit | 459f9aabb7a3f7486d603af6f9225923e8498dee (patch) | |
tree | a2118dbfc1e651a3b6f3670219f80d2c65b515aa | |
parent | f0810dcb7514a5346e8516e7f73d049a9efe37e8 (diff) | |
download | FreeBSD-src-459f9aabb7a3f7486d603af6f9225923e8498dee.zip FreeBSD-src-459f9aabb7a3f7486d603af6f9225923e8498dee.tar.gz |
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
-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); } } |