diff options
| author | chai <chaifix@163.com> | 2021-10-20 13:40:34 +0800 |
|---|---|---|
| committer | chai <chaifix@163.com> | 2021-10-20 13:40:34 +0800 |
| commit | ff0f488c97fe8b554b909a0057cebc4c860eac8f (patch) | |
| tree | 4e47262b52ffce7e9cfeaaeeab46371243bcaa78 /ThirdParty/luasocket/linux.cmd | |
| parent | dde719dd575090b36aaa3ad85bb3cabf33f36c5a (diff) | |
+luasocket src
Diffstat (limited to 'ThirdParty/luasocket/linux.cmd')
| -rw-r--r-- | ThirdParty/luasocket/linux.cmd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ThirdParty/luasocket/linux.cmd b/ThirdParty/luasocket/linux.cmd new file mode 100644 index 0000000..6c6636b --- /dev/null +++ b/ThirdParty/luasocket/linux.cmd @@ -0,0 +1 @@ +make PLAT=linux DEBUG=DEBUG LUAINC_linux_base=/home/diego/build/ubuntu/include LUAPREFIX_linux=/home/diego/build/ubuntu |