CI: Create override properties with echo

This commit is contained in:
2021-01-27 19:56:03 +01:00
parent 16e886ca3e
commit 4c1076ee07

View File

@ -45,12 +45,10 @@ test:ant:
- wget -qO scalactic.jar "${LIB_SCALACTIC}"
- wget -qO scalatest.jar "${LIB_SCALATEST}"
# Point ant to the right directories
- echo "
scalatest.libs=/usr/share/scala/lib
junit.home=/usr/share/java
hamcrest.home=/usr/share/java
mockito.home=/usr/share/java
" > override.properties
- echo scalatest.libs=/usr/share/scala/lib > override.properties
- echo junit.home=/usr/share/java >> override.properties
- echo hamcrest.home=/usr/share/java >> override.properties
- echo mockito.home=/usr/share/java >> override.properties
script:
- ant test
only: