Closed dckc closed 3 years ago
As noted in src/Makefile, passing CPPFLAGS and such via make CC=... seems awkward but it was the only way I could get it to work.
src/Makefile
make CC=...
It also results in
genode-x86-gcc: warning: /usr/local/genode/tool/19.05/lib/gcc/x86_64-pc-elf/8.3.0/64/libgcc.a: linker input file unused because linking not done
As noted in
src/Makefile
, passing CPPFLAGS and such viamake CC=...
seems awkward but it was the only way I could get it to work.It also results in