Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |