denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
55146716304d6e548ee5be5a2c69e0132d9a10a1
genode/tool/builddir
History
Christian Helmuth 5514671630 Improve error message on wrong tool chain (fix #1642) 
Following the proposal of @jameysharp.
2015-08-21 10:59:45 +02:00
..
etc
foc: Odroid-X2 basic support
2015-07-21 09:28:25 +02:00
build.mk
Improve error message on wrong tool chain (fix #1642)
2015-08-21 10:59:45 +02:00