History log of /seL4-camkes-master/projects/picotcp/mkdeps.sh
Revision Date Author Comments
# f88a751e 03-Aug-2016 Toon Stegen <toon.stegen@altran.com>

Fix mkdeps.sh
# 620b8eb7 03-Aug-2016 Toon Stegen <toon.stegen@altran.com>

mkdeps.sh: check if prefix is given as argument
# c92dbbb3 21-Feb-2014 Daniele Lacamera <daniele.lacamera@tass.be>

pico_defines.h only contains PICO_SUPPORT_ definitions
# 2c87c92d 20-Feb-2014 Daniele Lacamera <daniele.lacamera@tass.be>

mkdeps.sh script created in order to generate pico_defines.h