mirror of
https://github.com/vale981/arb
synced 2025-03-05 09:21:38 -05:00
another travis test
This commit is contained in:
parent
854313dab7
commit
ad86c2fd87
1 changed files with 2 additions and 0 deletions
|
@ -22,6 +22,8 @@ if [ ! -d "mpir-2.7.0" ]; then
|
|||
cd ..
|
||||
else
|
||||
echo "Using cached directory."
|
||||
ls
|
||||
ls mpir-2.7.0
|
||||
fi
|
||||
|
||||
if [ ! -d "mpfr-3.1.3" ]; then
|
||||
|
|
Loading…
Add table
Reference in a new issue