projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de591c5) | patch
package/gnuradio: fix gr-pager option
authorFabrice Fontaine <fontaine.fabrice@gmail.com>
Sat, 4 Jan 2020 18:30:59 +0000 (19:30 +0100)
committerYann E. MORIN <yann.morin.1998@free.fr>
Thu, 9 Jan 2020 17:21:46 +0000 (18:21 +0100)
commit7e67a32350c86d81eaf1851df38d7c28219de4f6
treef1f326f03d320e1d9883e6b36397b4956456cc89tree
parentde591c5c3a93a40d049a32bd79c30cc66daf5fb2commit | diff
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 <fontaine.fabrice@gmail.com>
Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>
package/gnuradio/gnuradio.mk diff | blob | history