ci: Fixes
This commit is contained in:
parent
0c56cf8167
commit
ad77aacd6c
2 changed files with 2 additions and 2 deletions
2
ci/sub
2
ci/sub
|
|
@ -1 +1 @@
|
||||||
Subproject commit be28ce747b280c59b8fe89e6b29bb0637984985d
|
Subproject commit b3513e080db023620d5ce9532f0fb55293b13a3c
|
||||||
|
|
@ -739,7 +739,7 @@ is_prefix_writable() {
|
||||||
# /usr/local owned by root but you don't need root to write to its subdirectories which
|
# /usr/local owned by root but you don't need root to write to its subdirectories which
|
||||||
# is all we want to do.
|
# is all we want to do.
|
||||||
if [ ! -w "$PREFIX/bin" ]; then
|
if [ ! -w "$PREFIX/bin" ]; then
|
||||||
return 0
|
return 1
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue