diff options
| author | ruki <[email protected]> | 2022-04-05 23:43:18 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-04-05 23:43:18 +0800 |
| commit | c7e96adbab7d833ca63ac4fb73061f9949a46de0 (patch) | |
| tree | bc4d9695f18c0d1525e4f8029013b5d5921faa8a /core/src/xmake/makefile | |
| parent | 4724bc52df2b22357103d6569f9664c5651a3ebe (diff) | |
add os.getpid
Diffstat (limited to 'core/src/xmake/makefile')
| -rw-r--r-- | 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 c07ba7153..d82ff51f9 100644 --- a/core/src/xmake/makefile +++ b/core/src/xmake/makefile @@ -46,6 +46,7 @@ xmake_C_FILES += \ os/getwinsize \ os/getuid \ os/getgid \ + os/getpid \ os/getown \ io/stdfile \ io/file_size \ |