History log of /barrelfish-master/tools/arm_molly/build_molly_image.sh
Revision Date Author Comments
# 0cb18619 21-Jun-2016 David Cock <david.cock@inf.ethz.ch>

Renamed build_pandaboard_image.sh

It's used to build *all* molly images.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>