diff options
Diffstat (limited to '')
-rwxr-xr-x | build.lua | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -70,6 +70,9 @@ locale_d = baseDir .. '/locale' | |||
70 | -- On the other hand, there's a more direct way to get to environment variables, it would fail to. | 70 | -- On the other hand, there's a more direct way to get to environment variables, it would fail to. |
71 | CFLAGOPTS = readCommand('echo "$CFLAGOPTS"') | 71 | CFLAGOPTS = readCommand('echo "$CFLAGOPTS"') |
72 | 72 | ||
73 | -- Make sure any old servers are killed off. | ||
74 | os.execute('./killem.sh') | ||
75 | |||
73 | CFLAGS = '-g -Wall -I ' .. baseDir .. '/src/libraries' | 76 | CFLAGS = '-g -Wall -I ' .. baseDir .. '/src/libraries' |
74 | CFLAGS = CFLAGS .. ' ' .. pkgConfig('cflags', 'luajit') | 77 | CFLAGS = CFLAGS .. ' ' .. pkgConfig('cflags', 'luajit') |
75 | CFLAGS = CFLAGS .. ' ' .. pkgConfig('cflags', 'elementary') | 78 | CFLAGS = CFLAGS .. ' ' .. pkgConfig('cflags', 'elementary') |