genode/ports/mk
Josef Söntgen 610a122f74 Noux: change default --prefix in noux.mk
The directory specified by --prefix is not only used to determine
the install location but is also used by -rpath. Therefor it is
better to use $(DESTDIR) to install the binaries to the right
directory and to use --prefix to express the actual location within
NOUX.
2012-08-22 09:51:26 +02:00
..
noux.mk Noux: change default --prefix in noux.mk 2012-08-22 09:51:26 +02:00