diff options
| -rw-r--r-- | gnuradio-runtime/include/gnuradio/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnuradio-runtime/include/gnuradio/CMakeLists.txt b/gnuradio-runtime/include/gnuradio/CMakeLists.txt index 9f38af335a..1d4ade0c1d 100644 --- a/gnuradio-runtime/include/gnuradio/CMakeLists.txt +++ b/gnuradio-runtime/include/gnuradio/CMakeLists.txt @@ -68,6 +68,7 @@ install(FILES rpcserver_booter_aggregator.h rpcserver_booter_base.h rpcserver_selector.h + xoroshiro128p.h DESTINATION ${GR_INCLUDE_DIR}/gnuradio ) |