diff options
| author | Diego Nehab <diego@impa.br> | 2013-05-27 21:17:00 +0800 |
|---|---|---|
| committer | Diego Nehab <diego@impa.br> | 2013-05-27 21:17:00 +0800 |
| commit | 3d61b0fe36708bce78bd087c7f7247e93e07a667 (patch) | |
| tree | 51727c3f53b3e550467ee60eca54a2a202a828f3 /linux.cmd | |
| parent | afe04943184c95adfbb2d05b8b7f0f4b3c36c3b5 (diff) | |
| parent | 834a3cf520637df0af9967e1f8ad9e40837771cb (diff) | |
| download | luasocket-3d61b0fe36708bce78bd087c7f7247e93e07a667.tar.gz luasocket-3d61b0fe36708bce78bd087c7f7247e93e07a667.tar.bz2 luasocket-3d61b0fe36708bce78bd087c7f7247e93e07a667.zip | |
Merge branch 'pkulchenko' into unstable
Diffstat (limited to 'linux.cmd')
| -rw-r--r-- | linux.cmd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/linux.cmd b/linux.cmd new file mode 100644 index 0000000..bd59adc --- /dev/null +++ b/linux.cmd | |||
| @@ -0,0 +1 @@ | |||
| make PLAT=linux DEBUG=DEBUG LUAINC_linux_base=/home/diego/build/linux/include LUAPREFIX_linux=/home/diego/build/linux | |||