diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2013-07-11 11:23:41 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2013-08-08 15:23:08 -0400 |
commit | daad42dd6cff23e74eaacfc7ca7abb430ba08c27 (patch) | |
tree | 581c4ae065ec9b226becb7888c04fd09840f8b07 /libs/ardour/midi_diskstream.cc | |
parent | cebd189239ce6b7bf775d3f2c0cfe312608d04df (diff) |
Revert "Remove non-portable and unnused header includes"
This reverts commit 7ef79d3f4b02e3d2e71d6888fbedd9b3f9c325c7.
Diffstat (limited to 'libs/ardour/midi_diskstream.cc')
-rw-r--r-- | libs/ardour/midi_diskstream.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/ardour/midi_diskstream.cc b/libs/ardour/midi_diskstream.cc index fcbd2094f9..26cd43aec4 100644 --- a/libs/ardour/midi_diskstream.cc +++ b/libs/ardour/midi_diskstream.cc @@ -28,6 +28,7 @@ #include <ctime> #include <strings.h> // for ffs(3) #include <sys/stat.h> +#include <sys/mman.h> #include "pbd/error.h" #include "pbd/basename.h" |