GitLab

This allows the command to succeed without error even if there is no
$(BUILD)/build directory, which is the case for mpy-cross.