diff options
| -rwxr-xr-x | debian/gen-install-files.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/gen-install-files.sh b/debian/gen-install-files.sh index db0880013..2d66cbb30 100755 --- a/debian/gen-install-files.sh +++ b/debian/gen-install-files.sh @@ -193,7 +193,7 @@ $EXTRACT gr-video-sdl/src/Makefile ourlib_LTLIBRARIES | \ NAME=debian/gnuradio-utils.install rm -f $NAME touch $NAME -$EXTRACT gr-utils/src/python/Makefile outpython_PYTHON >>$NAME +$EXTRACT gr-utils/src/python/Makefile ourpython_PYTHON >>$NAME $EXTRACT gr-utils/src/python/Makefile bin_SCRIPTS >>$NAME # gnuradio-examples |