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 /scripts/switch-timer-api | |
| parent | 6e733da676a5483314d86f1bcb14950a165b0e6f (diff) | |
| download | focaccia-qemu-c81585130e7480a8ad9fcdbc3ff712c48260cf43.tar.gz focaccia-qemu-c81585130e7480a8ad9fcdbc3ff712c48260cf43.zip | |
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 'scripts/switch-timer-api')
0 files changed, 0 insertions, 0 deletions