diff options
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/gen-install-files.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/gen-install-files.sh b/debian/gen-install-files.sh index b8c6e46cd..473141bf6 100755 --- a/debian/gen-install-files.sh +++ b/debian/gen-install-files.sh @@ -429,6 +429,7 @@ $EXTRACT gnuradio-examples/python/ofdm/Makefile dist_ourdata_DATA >>$NAME $EXTRACT gnuradio-examples/python/ofdm/Makefile dist_ourdata_SCRIPTS >>$NAME $EXTRACT gnuradio-examples/python/usrp/Makefile dist_ourdata_SCRIPTS >>$NAME $EXTRACT gnuradio-examples/python/usrp2/Makefile dist_ourdata_SCRIPTS >>$NAME +$EXTRACT gnuradio-examples/python/usrp2/Makefile dist_ourdata_DATA >>$NAME # gnuradio-pager NAME=debian/gnuradio-pager.install |