From 90497b84f88656ec151076644c5c69c3507ca3a9 Mon Sep 17 00:00:00 2001 From: Ran Benita Date: Thu, 31 Oct 2019 21:21:35 +0200 Subject: [PATCH] scripts/makeheader: slight simplification Signed-off-by: Ran Benita --- scripts/makeheader | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/scripts/makeheader b/scripts/makeheader index cfdc684..600b565 100755 --- a/scripts/makeheader +++ b/scripts/makeheader @@ -1,13 +1,10 @@ #!/usr/bin/env python - from __future__ import print_function import re import os -prefix = os.environ.get('X11_HEADERS_PREFIX') -if not prefix: - prefix = '/usr' +prefix = os.environ.get('X11_HEADERS_PREFIX', '/usr') HEADERS = [ prefix + '/include/X11/keysymdef.h', prefix + '/include/X11/XF86keysym.h',