Rename wks file and use variable ${DISTRO} and ${MACHINE}
Input of this commit comr from Pull Request: #7
Signed-off-by: Leon Anavi <leon.anavi@konsulko.com>
|
||
|---|---|---|
| .. | ||
| sdcard-stm32mp157c-dk2-optee-1GB.wks.in | ||
| sdcard-stm32mp157c-dk2-optee-vendorfs-1GB.wks.in | ||
| sdcard-stm32mp157c-dk2-trusted-1GB.wks.in | ||
| sdcard-stm32mp157c-dk2-trusted-vendorfs-1GB.wks.in | ||