diff options
| author | Manuel Reis <[email protected]> | 2020-11-25 10:16:20 +0000 |
|---|---|---|
| committer | Patrick Delaunay <[email protected]> | 2020-12-09 10:57:50 +0100 |
| commit | 81d4c4e45c015794f1fa96cc7f308bb27b11009a (patch) | |
| tree | 1a5bfa67b5769eb3ed92db6d372777d7bb9be9bd /drivers/timer | |
| parent | ec79f5ce2202cf6c56e5eb1eb755604b534ae08b (diff) | |
add check for ignored CONFIG_ENV_EXT4_DEVICE_AND_PART definition
Check whether user has explicitly defined device and partition where
environment file will be located before using 'auto' i.e. bootable
partition
Voids the need to set such partition as bootable to work with the
'dev:auto' tuple
Signed-off-by: Manuel Reis <[email protected]>
Cc: Patrick Delaunay <[email protected]>
Cc: Patrice Chotard <[email protected]>
Tested-by: Michael Opdenacker <[email protected]>
Reviewed-by: Patrick Delaunay <[email protected]>
Diffstat (limited to 'drivers/timer')
0 files changed, 0 insertions, 0 deletions