diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/list-workarounds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/list-workarounds b/scripts/list-workarounds index 5a84ee87..620d02fe 100755 --- a/scripts/list-workarounds +++ b/scripts/list-workarounds @@ -18,7 +18,7 @@ def find_nth(haystack, needle, n): return start valid_platforms = ('ctg', 'elk', 'ilk', 'snb', 'ivb', 'vlv', 'hsw', 'bdw', - 'chv') + 'chv', 'skl') def parse_platforms(p): l = p.split(',') for p in l: |