diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2013-07-11 11:23:41 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2013-07-11 11:23:41 -0400 |
commit | 4be2176bd900d3ffc685e585c5f435e8f51db4f6 (patch) | |
tree | 962db5f6a6b3e4891733f2766784b205d0444750 /libs/ardour/midi_diskstream.cc | |
parent | 7ef79d3f4b02e3d2e71d6888fbedd9b3f9c325c7 (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 a21f3fb6f4..9c11e818ac 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" |