3 Commits

Author	SHA1	Message	Date
Christian Helmuth	2f357a7224	Firewall-friendly download methods for contrib src ... After this commit "make prepare" uses HTTP, HTTPS, or FTP where possible fvor downloading third-party source codes. This prevents problems with strict firewall rules where only selected ports are usable. Unfortunately, git.l4android.org does not support Git via HTTP and, therefore, the sources need a working Git port (9418). Fixes #443.	2012-10-30 12:12:42 +01:00
Christian Helmuth	36ae42b8ff	Check for required tools on 'make prepare' ... Fixes #221.	2012-05-29 13:55:00 +02:00
Genode Labs	da4e1feaa5	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00