- try to fix travis build travis script debug pt 4

2019-03-27 21:37:38 -04:00
parent 0cb931e6e2
commit 46ba018201
2 changed files with 3 additions and 5 deletions
--- a/tools/travis-script.sh
+++ b/tools/travis-script.sh
@@ -1,6 +1,7 @@
 #!/bin/sh -e

 # let's dump some info to debug a bit
+echo ant version = `ant -version`
 echo ls = `ls`
 echo pwd = `pwd`
 # computing potential release name