diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2018-06-05 16:29:03 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2018-06-05 16:29:03 +0300 |
commit | a587ed6cd37bfca53b60e59733bc6900be70b7e5 (patch) | |
tree | c1f1fcc8f85ad1859b904b14edea081dee43c56d | |
parent | 64c07bf5c3c8402c073a5f6e112c00250b040e12 (diff) |
Fix mysql/buildfile to properly set installation directory for header files
-rw-r--r-- | mysql/buildfile | 6 |
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. |