Age | Commit message (Expand) | Author |
---|---|---|
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 |
2016-12-19 | - Starting the DB via ARM before compilation. | Marcello Stanisci |
2016-05-20 | update deployment.git before rebuild | Florian Dold |
2016-05-02 | build script | Florian Dold |