diff options
| author | Marvin Borner | 2020-10-24 13:20:35 +0200 |
|---|---|---|
| committer | Marvin Borner | 2020-10-24 13:20:35 +0200 |
| commit | f0fe7c5ff003c714e76a7522967a0519a191cdf7 (patch) | |
| tree | 517679e7b5227896732081961c37d4331507ee36 /run | |
| parent | e5dd74563baf5b766b7bf226a0a42a661a14f974 (diff) | |
Forced ccache compilation
...and some fixes :)
Diffstat (limited to 'run')
| -rwxr-xr-x | run | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -180,8 +180,8 @@ make_test() { if [ "$mode" = "test" ]; then qemu_with_flags -serial file:test.log -nographic -drive file=build/disk.img,format=raw,index=1,media=disk & - sleep 2 - killall -9 qemu-system-i386 + sleep 1 + pkill qemu-system-i386 || true echo grep -E 'PASS|FAIL' test.log if grep -q "All tests passed" test.log; then exit 0; else exit 1; fi @@ -231,7 +231,7 @@ make_sync() { make_clean() { rm -rf build/ - make clean + $MAKE clean } if [ "${mode}" = "cross" ]; then |