Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-11-21 | remove obsolete script | Marcello Stanisci | |
2019-06-14 | mute DEBUG lines from 'util' | Marcello Stanisci | |
2019-06-10 | path | Marcello Stanisci | |
2019-05-20 | note | Marcello Stanisci | |
2019-04-22 | BB fetched _twice_ deployment.git. Fixed. | Marcello Stanisci | |
2017-11-27 | reverting to old style | Marcello Stanisci | |
2017-11-27 | trying with a separate directory for build stamps | Marcello Stanisci | |
2017-01-12 | don't start DB for now, since dependencies might not be installed | Florian Dold | |
2017-01-10 | do not stop database, since it hangs | Florian Dold | |
2016-12-20 | - --coverage option for main build script | Marcello Stanisci | |
- sleep 3 secs after launching the db via ARM before compiling | |||
2016-12-19 | - Starting the DB via ARM before compilation. | Marcello Stanisci | |
- Passing --coverage flag to compiling script when needed. | |||
2016-05-20 | update deployment.git before rebuild | Florian Dold | |
2016-05-02 | build script | Florian Dold | |