Open dungru opened 3 years ago
An interesting question I just had but never thought about before: is make
a dependency of make
?
After thinking about it for a while, I tend to treat this as a non-issue by considering make is a dependency of devenv, as fundamental as bash. How do you think @ldotrg ?
make
is a very fundamental tool of tool chain. It does not depend on the other tools that much. We can get make
easily in many unix-like distributions. So, +1 to non-issue.
Since all the build source using the GNU
make
command.When
devenv
running on clean system, the following message will show up.Instead of #25, I decide to build GNU
make
from source.