diff options
author | Jo-Philipp Wich <jo@mein.io> | 2019-07-03 07:19:41 +0200 |
---|---|---|
committer | Jo-Philipp Wich <jo@mein.io> | 2019-07-03 07:21:52 +0200 |
commit | 47a984477b1d300047b3001971f0af0e371ea9ee (patch) | |
tree | 6a3c02b8b0b560d6dec66a03fa1d237ac085f51d /package/utils/jboot-tools | |
parent | 7c23f741e97f6645bb5cd662a4943796a344b26a (diff) | |
download | upstream-47a984477b1d300047b3001971f0af0e371ea9ee.tar.gz upstream-47a984477b1d300047b3001971f0af0e371ea9ee.tar.bz2 upstream-47a984477b1d300047b3001971f0af0e371ea9ee.zip |
lua5.3: stage Lua headers in proper location
Fix wrong paths in InstallDev which cause Lua 5.3 headers to be staged
in /usr/include/, overwriting Lua 5.1 headers and leading to widespread
build failures in all Lua related packages.
Fixes: FS#2348
Fixes: 6b161bb8d5 ("lua5.3: package Lua 5.3 version")
Signed-off-by: Jo-Philipp Wich <jo@mein.io>
Diffstat (limited to 'package/utils/jboot-tools')
0 files changed, 0 insertions, 0 deletions