aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2018-06-05 13:29:03 (GMT)
committerKaren Arutyunov <karen@codesynthesis.com>2018-06-05 13:29:03 (GMT)
commita587ed6cd37bfca53b60e59733bc6900be70b7e5 (patch)
treec1f1fcc8f85ad1859b904b14edea081dee43c56d
parent64c07bf5c3c8402c073a5f6e112c00250b040e12 (diff)
Fix mysql/buildfile to properly set installation directory for header files
-rw-r--r--mysql/buildfile6
1 files changed, 4 insertions, 2 deletions
diff --git a/mysql/buildfile b/mysql/buildfile
index 5278973..4d87146 100644
--- a/mysql/buildfile
+++ b/mysql/buildfile
@@ -250,8 +250,10 @@ for h: mysql errmsg mysqld_error mysql_time mysql_version mysql_com \
mysql/client_plugin mysql/plugin_auth_common \
mysql/psi/psi_base mysql/psi/psi_memory
{
- h{$h}@./: install = include/mysql/$path.directory($h)
- h{$h}@./: install.subdirs = true
+ d = $path.directory($h)
+
+ h{$h}@./$d: install = include/mysql/$d
+ h{$h}@./$d: install.subdirs = true
}
# Install into the mysql/ subdirectory of, say, /usr/include.