diff options
| author | ruki <[email protected]> | 2015-06-16 22:10:43 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2015-06-16 22:10:43 +0800 |
| commit | 8c8d7af7135b400a44cc58d3f0d74a72164f9b2a (patch) | |
| tree | c491d0d3cd0f512b5c5e916f20264b3e7603f69e /core/src/xmake/makefile | |
| parent | 3d97768287a089f862d841cb697b48852941b002 (diff) | |
check for the mtime of project file
Diffstat (limited to 'core/src/xmake/makefile')
| -rwxr-xr-x | core/src/xmake/makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/src/xmake/makefile b/core/src/xmake/makefile index 932737fe8..3cb152e16 100755 --- a/core/src/xmake/makefile +++ b/core/src/xmake/makefile @@ -20,6 +20,7 @@ xmake_C_FILES += \ os/mkdir \ os/cpdir \ os/chdir \ + os/mtime \ os/curdir \ os/tmpdir \ os/isfile \ |