diff options
author | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2013-01-09 05:03:10 +0100 |
---|---|---|
committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2013-01-09 05:03:10 +0100 |
commit | 8ecfc19a5fff07065d893145b55921752754a708 (patch) | |
tree | a3e1cd1ab796bead20ce35f7ffe20232090ca6df /Makefile | |
parent | 4e4e10fdfe9f2e43c2fbb875422e5b658bd8d0b7 (diff) |
Disabling generating traces for task switches, and adding a move constructor for exceptions.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions