diff options
author | Martin Braun <martin.braun@kit.edu> | 2013-02-21 10:38:26 +0100 |
---|---|---|
committer | Martin Braun <martin.braun@kit.edu> | 2013-02-21 10:38:26 +0100 |
commit | 61b90a54cd5b5d452585669498ad2bf692b6e543 (patch) | |
tree | 75abfe12e76257b2b12b51b4c4986261d79e8b59 /gr-blocks/lib/file_source_impl.cc | |
parent | 3b12bc5b360ced033cc45f795dc514dfe99f1588 (diff) | |
parent | 45c9daa0a7b7dc2316607aa3762e268ce1793dce (diff) |
Merge branch 'master' of git://github.com/gnuradio/gnuradio into grmodtool
Diffstat (limited to 'gr-blocks/lib/file_source_impl.cc')
-rw-r--r-- | gr-blocks/lib/file_source_impl.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gr-blocks/lib/file_source_impl.cc b/gr-blocks/lib/file_source_impl.cc index a8db31be7a..dcbd042106 100644 --- a/gr-blocks/lib/file_source_impl.cc +++ b/gr-blocks/lib/file_source_impl.cc @@ -24,6 +24,7 @@ #include "config.h" #endif +#include <gruel/thread.h> #include "file_source_impl.h" #include <gr_io_signature.h> #include <cstdio> |