Correction of error in travis

This commit is contained in:
Guido Cossu
2016-08-30 13:49:49 +01:00
parent b0d3e4bb2c
commit 5acd856663