Changeset 2013ea9 in mainline for tools

Timestamp:

2018-01-24T12:52:01Z (8 years ago)

Author:

Vojtech Horky <vojtech.horky@…>

Parents:

8348846

git-author:

Vojtech Horky <vojtech.horky@…> (2018-01-16 15:01:10)

git-committer:

Vojtech Horky <vojtech.horky@…> (2018-01-24 12:52:01)

Message:

Travis CI improvements

Due to complexity of the building process (especially when ported
software is compiled) a separate script is used with Travis CI to
control the build.

See comments in .travis.yml for details how to customize what is being
built.

File:

• tools/travis.sh (added)