diff options
| author | Fam Zheng <famz@redhat.com> | 2016-07-19 21:20:41 +0800 |
|---|---|---|
| committer | Fam Zheng <famz@redhat.com> | 2016-07-20 19:19:43 +0800 |
| commit | c81585130e7480a8ad9fcdbc3ff712c48260cf43 (patch) | |
| tree | 7b883528ebc3d2c07a1ff02d14991a7eb51226cf /pc-bios | |
| parent | 6e733da676a5483314d86f1bcb14950a165b0e6f (diff) | |
docker: More sensible run script
It is very easy to figure out current directory and bash option from the
execution, so do less in the Makefile invocation command line, and
figure both options in the script.
This makes the next patch easier.
Signed-off-by: Fam Zheng <famz@redhat.com>
Message-id: 1468934445-32183-7-git-send-email-famz@redhat.com
Diffstat (limited to 'pc-bios')
0 files changed, 0 insertions, 0 deletions