Alexander Senier 7ac46dd621 tool/create_iso: Make ISO creation tool configurable ...

Debian has dropped mkisofs long time ago, hence hardcoding it prevents
Genode from being built on Debian easily. This patch makes the tool
configurable (defaulting to mkisofs). Building on Debian can then be
done by something like:

ISOTOOL=genisoimage make run/foobar

Fixes #2234
Fixes #2235

2017-05-02 15:28:53 +02:00

2.0 KiB

Executable File

Raw Blame History

View Raw