diff options
| author | Jason Ekstrand <[email protected]> | 2017-08-30 13:36:58 -0700 |
|---|---|---|
| committer | Jason Ekstrand <[email protected]> | 2017-11-07 10:37:52 -0800 |
| commit | ab378734f5016d00875fc87ec1cfa96d6eccf879 (patch) | |
| tree | 1745cbcfa94df47c519af11c8f341f696761da11 /bin/get-extra-pick-list.sh | |
| parent | 8280560705d95dbbb059c20adddfd220d7efe593 (diff) | |
intel/eu: Explicitly set EXECUTE_1 where needed
Reviewed-by: Iago Toral Quiroga <[email protected]>
Diffstat (limited to 'bin/get-extra-pick-list.sh')
0 files changed, 0 insertions, 0 deletions