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