blob: d4fac0b97150fc149d1862ada8b44c71893f738a [file] [log] [blame]
subdirs-y += ada common proof
subdirs-y += debug