diff options
| author | ruki <[email protected]> | 2022-09-22 22:35:04 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-09-22 09:30:48 +0800 |
| commit | 1016d92331c2a4efb4b23a4317621116bfb4f4df (patch) | |
| tree | 7cf511459153e68ec5b91b95961f909ee9da43bf | |
| parent | 1537b13549e12ed3787f387070aa3a774b5c63be (diff) | |
improve to generate config files
| -rw-r--r-- | xmake/actions/config/configfiles.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xmake/actions/config/configfiles.lua b/xmake/actions/config/configfiles.lua index 7784096d1..521984f8d 100644 --- a/xmake/actions/config/configfiles.lua +++ b/xmake/actions/config/configfiles.lua @@ -299,6 +299,8 @@ function _generate_configfile(srcfile, dstfile, fileinfo, targets) if io.readfile(dstfile_tmp) ~= io.readfile(dstfile) then os.cp(dstfile_tmp, dstfile) generated = true + else + os.touch(dstfile, {mtime = os.time()}) end else os.cp(dstfile_tmp, dstfile) @@ -324,6 +326,7 @@ function main(opt) depend.on_changed(function () _generate_configfile(srcinfo.srcfile, dstfile, srcinfo.fileinfo, srcinfo.targets) end, {files = srcinfo.srcfile, + lastmtime = os.mtime(dstfile), always_changed = opt.force}) end |
