mirror of
https://github.com/powerline/powerline.git
synced 2025-07-29 16:55:07 +02:00
Merge commit '6a08168' into develop
This commit is contained in:
commit
68ba8a270e
@ -143,6 +143,7 @@ fi
|
|||||||
if ! run_test dash -i ; then
|
if ! run_test dash -i ; then
|
||||||
# dash tests are not stable, see #931
|
# dash tests are not stable, see #931
|
||||||
# FAILED=1
|
# FAILED=1
|
||||||
|
true
|
||||||
fi
|
fi
|
||||||
|
|
||||||
test "x$ONLY_SHELL" = "x" && rm -r tests/shell
|
test "x$ONLY_SHELL" = "x" && rm -r tests/shell
|
||||||
|
Loading…
x
Reference in New Issue
Block a user