diff options
Diffstat (limited to 'scripts/makeheader')
| -rwxr-xr-x | scripts/makeheader | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/scripts/makeheader b/scripts/makeheader index 7b7a07e..cfdc684 100755 --- a/scripts/makeheader +++ b/scripts/makeheader @@ -2,14 +2,18 @@ from __future__ import print_function import re +import os +prefix = os.environ.get('X11_HEADERS_PREFIX') +if not prefix: + prefix = '/usr' HEADERS = [ - '/usr/include/X11/keysymdef.h', - '/usr/include/X11/XF86keysym.h', - '/usr/include/X11/Sunkeysym.h', - '/usr/include/X11/DECkeysym.h', - '/usr/include/X11/HPkeysym.h', + prefix + '/include/X11/keysymdef.h', + prefix + '/include/X11/XF86keysym.h', + prefix + '/include/X11/Sunkeysym.h', + prefix + '/include/X11/DECkeysym.h', + prefix + '/include/X11/HPkeysym.h', ] print('''#ifndef _XKBCOMMON_KEYSYMS_H |