projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec5d45f) | patch
Make build_pandaboard_image.sh use global ARM_GCC
authorDavid Cock <david.cock@inf.ethz.ch>
Tue, 11 Aug 2015 07:29:11 +0000 (09:29 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Tue, 11 Aug 2015 09:19:40 +0000 (11:19 +0200)
commitb9de90a5f7427574e175b39c1cea594ddf66eb4d
tree441bb325805c8442096417c7580646a88196d353tree | snapshot
parentec5d45f50fb95103b44dbeb7ecfa8fb59eb6df6bcommit | diff
Make build_pandaboard_image.sh use global ARM_GCC

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
platforms/Hakefile diff | blob | history
Barrelfish OS git repo