Changeset 9e5cc73 in mainline for tools/travis.sh

Timestamp:

2018-05-01T17:40:15Z (7 years ago)

Author:

Jiří Zárevúcky <jiri.zarevucky@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

5261062, 7465910

Parents:

0cb53ea5

Message:

Fix inadvertent discrepancy between toolchain.sh and autotool.py

(No files)