From: Fabrice Fontaine Date: Sat, 4 Jan 2020 18:30:59 +0000 (+0100) Subject: package/gnuradio: fix gr-pager option X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7e67a32350c86d81eaf1851df38d7c28219de4f6;p=buildroot.git package/gnuradio: fix gr-pager option Since a very long time (at least version 3.5.1 in 2011 and https://github.com/gnuradio/gnuradio/commit/accb9f2fe8fd8f6a1e114adac5b15304b0e0012d), gr-pager option is named ENABLE_GR_PAGER, not ENABLE_PAGER Signed-off-by: Fabrice Fontaine Signed-off-by: Yann E. MORIN --- diff --git a/package/gnuradio/gnuradio.mk b/package/gnuradio/gnuradio.mk index 9a989ad117..f6c3def1e4 100644 --- a/package/gnuradio/gnuradio.mk +++ b/package/gnuradio/gnuradio.mk @@ -130,9 +130,9 @@ GNURADIO_CONF_OPTS += -DENABLE_PYTHON=OFF endif ifeq ($(BR2_PACKAGE_GNURADIO_PAGER),y) -GNURADIO_CONF_OPTS += -DENABLE_PAGER=ON +GNURADIO_CONF_OPTS += -DENABLE_GR_PAGER=ON else -GNURADIO_CONF_OPTS += -DENABLE_PAGER=OFF +GNURADIO_CONF_OPTS += -DENABLE_GR_PAGER=OFF endif ifeq ($(BR2_PACKAGE_GNURADIO_TRELLIS),y)