aboutsummaryrefslogtreecommitdiff
path: root/linux.cmd
diff options
context:
space:
mode:
authorDiego Nehab <diego@impa.br>2013-05-25 07:25:02 -0300
committerDiego Nehab <diego@impa.br>2013-05-25 07:25:02 -0300
commit22107bb9fcb3eef565b93fb00d8f2cc8849ba08e (patch)
tree178020133e03dc28e9ef0638037e4c6cf0d40777 /linux.cmd
parent5d3a78b4a6ba5e71d526d62795f684c98eeee8eb (diff)
downloadluasocket-22107bb9fcb3eef565b93fb00d8f2cc8849ba08e.tar.gz
luasocket-22107bb9fcb3eef565b93fb00d8f2cc8849ba08e.tar.bz2
luasocket-22107bb9fcb3eef565b93fb00d8f2cc8849ba08e.zip
Check linux build.
Diffstat (limited to 'linux.cmd')
-rw-r--r--linux.cmd2
1 files changed, 1 insertions, 1 deletions
diff --git a/linux.cmd b/linux.cmd
index dc7fcaa..bd59adc 100644
--- a/linux.cmd
+++ b/linux.cmd
@@ -1 +1 @@
make PLAT=linux LUAV=5.2 DEBUG=DEBUG make PLAT=linux DEBUG=DEBUG LUAINC_linux_base=/home/diego/build/linux/include LUAPREFIX_linux=/home/diego/build/linux