48c0cd4e9c
Rename before_install_*.sh to just install_*.sh
...
It doesn't make sense to call these scripts "before install" because
they do actually install things themselves.
In fact the whole separation into "install" and "before build" is
probably not very useful, but keep it as long as we keep using Travis CI
at all, as it maps better to its config file keys.
No real changes.
2021-03-19 03:02:41 +01:00
0a1b55b27c
Rename scripts/travis directory to scripts/ci
...
This will make reusing the scripts there with other CI services less
confusing.
No real changes.
2021-03-16 16:27:00 +01:00
02a5cae2c5
Rename SOCI_CXX_C11 to SOCI_CXX11 ( #757 )
...
This change was discussed and suggested in this thread of comments:
https://github.com/SOCI/soci/pull/755#discussion_r329550806
2019-09-30 20:58:57 +02:00
92de7a3878
[Vagrant] Fix bach if. Silence wget. Add logging.
...
[ci skip]
2017-09-20 00:42:11 +02:00
6b95311799
[Vagrant] Update setup with primary VM and optionals.
...
Add URL of db2cli driver package, download and install
automatically without manual intervention.
[ci skip]
2017-09-20 00:33:00 +02:00
d38b21ca67
Move directory /bin to /scripts
...
Move directory /bin/ci to /scripts/travis
2017-09-12 22:54:19 +02:00
Vadim Zeitlin