Mattia Dongili noted that it's currently built under tools/build (upstream bug). Build it under the current output directory (which means we build it multiple times) and clean all copies. |
||
---|---|---|
.. | ||
scripts | ||
tools | ||
.gitignore | ||
Makefile | ||
Makefile.inc |
Mattia Dongili noted that it's currently built under tools/build (upstream bug). Build it under the current output directory (which means we build it multiple times) and clean all copies. |
||
---|---|---|
.. | ||
scripts | ||
tools | ||
.gitignore | ||
Makefile | ||
Makefile.inc |