diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2013-07-13 08:19:32 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2013-07-13 08:19:32 -0400 |
commit | aa4dd3443ffd3cb4639c69dc72214a3f5b758071 (patch) | |
tree | 59a6462a21bc181462a2b78f6f9d76a69a178c2d /gtk2_ardour | |
parent | ff825cd8bdc1aaddee6b31977b554a1fc3e04029 (diff) |
Include pbd/timersub.h for mingw build
Diffstat (limited to 'gtk2_ardour')
-rw-r--r-- | gtk2_ardour/midi_tracer.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/midi_tracer.cc b/gtk2_ardour/midi_tracer.cc index 1fc50c103f..e447c59f3b 100644 --- a/gtk2_ardour/midi_tracer.cc +++ b/gtk2_ardour/midi_tracer.cc @@ -24,6 +24,7 @@ #include <time.h> #include "pbd/localtime_r.h" +#include "pbd/timersub.h" #include "midi++/parser.h" #include "midi++/manager.h" |