diff options
author | jcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5> | 2009-02-25 19:04:35 +0000 |
---|---|---|
committer | jcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5> | 2009-02-25 19:04:35 +0000 |
commit | c48f42b58c67eefd19ea1a803329bcf62eac06e9 (patch) | |
tree | d03af64023553b5f340ae676a918793e2ab39068 /pmt/src | |
parent | 203024bad3191ea14eff902549e6b4d95e08e43c (diff) |
Merged r10501:10505 from michaelld/omnithread into trunk. Moves omnithread header files into /gnuradio. Trunk passes distcheck.
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@10506 221aa14e-8319-0410-a670-987f0aec2ac5
Diffstat (limited to 'pmt/src')
-rw-r--r-- | pmt/src/lib/pmt_pool.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pmt/src/lib/pmt_pool.h b/pmt/src/lib/pmt_pool.h index 42276a14f0..dd63d44a6c 100644 --- a/pmt/src/lib/pmt_pool.h +++ b/pmt/src/lib/pmt_pool.h @@ -22,7 +22,7 @@ #define INCLUDED_PMT_POOL_H #include <cstddef> -#include <omnithread.h> +#include <gnuradio/omnithread.h> #include <vector> /*! |