diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-02-12 13:27:40 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-02-12 13:27:40 +0100 |
| commit | a59d0c7b448597865c679c9d19ee13de742cea02 (patch) | |
| tree | ef683a73a509eed0aaf2dac9ce197cb2082ea29f /doc/.gitignore | |
| parent | 4944a01444f146fdfb1a45ed346b5bc4744c0a45 (diff) | |
| download | ouroboros-a59d0c7b448597865c679c9d19ee13de742cea02.tar.gz ouroboros-a59d0c7b448597865c679c9d19ee13de742cea02.zip | |
include: Add logging infrastructure
Adds the logging infrastructure to the prototype. 2 helper scripts are
also provided to compile the prototype in either release or debug
mode. In debug mode debugging logs are printed.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions