Riccardo Pittau 2f4f0320a4 Make sure we can create tinyipa isos
Verify we're able to build a tinyipa iso.

- use bash in build-iso script
- account for filenames with branch names in them
- Fix isolinux.bin path
The correct location is now under bios/core
[...]/syslinux-6.03$ find . -name "isolinux.bin"
./bios/core/isolinux.bin

Change-Id: Idce5d81ce83df121e521b7d26fd6523a378a0585
2021-02-22 15:58:34 +01:00
..
2020-10-08 08:28:03 +00:00
2019-06-12 18:54:14 +05:30
2021-02-17 09:23:15 -08:00
2019-12-09 13:19:43 -08:00