diff options
Diffstat (limited to 'scripts/lib/mic/utils/oe/misc.py')
| -rw-r--r-- | scripts/lib/mic/utils/oe/misc.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/scripts/lib/mic/utils/oe/misc.py b/scripts/lib/mic/utils/oe/misc.py index 9edaa230e4..097d44c057 100644 --- a/scripts/lib/mic/utils/oe/misc.py +++ b/scripts/lib/mic/utils/oe/misc.py | |||
| @@ -106,3 +106,15 @@ def get_wks_var(key): | |||
| 106 | 106 | ||
| 107 | def add_wks_var(key, val): | 107 | def add_wks_var(key, val): |
| 108 | wks_vars[key] = val | 108 | wks_vars[key] = val |
| 109 | |||
| 110 | BOOTDD_EXTRA_SPACE = 16384 | ||
| 111 | |||
| 112 | def get_line_val(line, key): | ||
| 113 | """ | ||
| 114 | Extract the value from the VAR="val" string | ||
| 115 | """ | ||
| 116 | if line.startswith(key + "="): | ||
| 117 | stripped_line = line.split('=')[1] | ||
| 118 | stripped_line = stripped_line.replace('\"', '') | ||
| 119 | return stripped_line | ||
| 120 | return None | ||
