On Sat, Oct 16, 2021 at 6:23 PM Tomasz CEDRO wrote: > > I have managed to build and install Debian version of > kconfig-frontends. Local testing for now. > > The problem I have encountered now is the `tools/configure.sh` uses > `make` for builds. On BSD systems BSD version of `make` is used by > default. GNU make is named `gmake` here. > > Will try to patch that out. > > That gives +1 for cmake build system as it detects and solves make vs gmake > :-)
Quick fix proposition: https://github.com/apache/incubator-nuttx/pull/4672 Is there any better place for this detection? Is there any kind of "global configuration" file for all scripts where this could be put to affect all bash scripts? -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info