diff options
| author | Brian Woods | 2019-10-07 18:25:53 -0700 |
|---|---|---|
| committer | Stefano Stabellini | 2019-10-21 15:24:09 -0700 |
| commit | 5e87781c99ce3ffed0106ff3f7289ac04771f7c2 (patch) | |
| tree | cde0e46439dab3ecd2480aed26802f2dffe1bcce /README.md | |
| parent | 31ec364ae6ace3e6dc2c558bd3c386c76258c623 (diff) | |
Change interpreter of disk_image to bash
disk_image has bashisms, change the interpreter to bash so it doesn't
get incorrectly interpreted if /bin/sh isn't bash.
Signed-off-by: Brian Woods <brian.woods@xilinx.com>
Reviewed-by: Stefano Stabellini <stefano.stabellini@xilinx.com>
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions