From 49369134cf838484d2558a68559ea519957c5302 Mon Sep 17 00:00:00 2001 From: Daniel Verkamp Date: Wed, 30 Nov 2016 10:07:14 -0700 Subject: [PATCH] genconfig: add special case for DPDK_DIR shorthand Change-Id: Iaf7195316c757b22cb601318c38762b3fd6f7c0e Signed-off-by: Daniel Verkamp --- scripts/genconfig.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/genconfig.py b/scripts/genconfig.py index 5e3ae63b2..4d95691ac 100755 --- a/scripts/genconfig.py +++ b/scripts/genconfig.py @@ -15,6 +15,10 @@ for arg in sys.argv: val = m.group(3).strip() args[var] = val +# special case for DPDK_DIR, which is short for CONFIG_DPDK_DIR +if 'DPDK_DIR' in args and 'CONFIG_DPDK_DIR' not in args: + args['CONFIG_DPDK_DIR'] = args['DPDK_DIR'] + with open('CONFIG') as f: for line in f: line = line.strip()