mirror of
https://github.com/rui314/mold.git
synced 2024-12-26 01:44:29 +03:00
Fix Gentoo build script
This commit is contained in:
parent
b21ade127c
commit
04f82b4b13
@ -59,7 +59,7 @@ build() {
|
|||||||
mv $dir/$filename.mold $dir/failure
|
mv $dir/$filename.mold $dir/failure
|
||||||
fi
|
fi
|
||||||
|
|
||||||
$docker bash -c "$cmd1 && cmd3" >& $dir/$filename.ld
|
$docker bash -c "$cmd1 && $cmd3" >& $dir/$filename.ld
|
||||||
if [ $? = 0 ]; then
|
if [ $? = 0 ]; then
|
||||||
mv $dir/$filename.ld $dir/success
|
mv $dir/$filename.ld $dir/success
|
||||||
else
|
else
|
||||||
|
Loading…
Reference in New Issue
Block a user