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