> is to prevent make install not overwriteing os files

> in linux if i make with:

> ./configure
> make
> make install

> then it should use /usr/local as MBSE_ROOT (prefixing)

> /opt is for systems that does NOT use make install

Hmm, I was always taught that /opt was for the installation of OPTional
packages/software?

--- BBBS/Li6 v4.10 Dada-1