~alan-griffiths/mir/keep-helgrind-happy

Viewing all changes in revision 1391.

Add options to cross-compile script to make cleaning build directory and updating chroot folder optional.

Approved by PS Jenkins bot, Alan Griffiths, Alexandros Frantzis.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: