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 /scripts/time.pl | |
| 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 'scripts/time.pl')
0 files changed, 0 insertions, 0 deletions