| commit | 5e9b1b50e7ac90f68ca2ea798ef656ac863c2851 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Sat Oct 08 22:09:33 2016 +0200 |
| committer | Nico Huber <nico.h@gmx.de> | Sun Oct 09 11:31:44 2016 +0200 |
| tree | 4bdccf08b1b59035632f26a8853c8456e07b8fca |
Initial upstream commit The history contained unlicensed code so everything got squashed, sorry. Change-Id: Ie1335ecfcee7f740bb6de2e9887606be30a2deff Signed-off-by: Nico Huber <nico.huber@secunet.com>
diff --git a/Makefile.inc b/Makefile.inc new file mode 100644 index 0000000..d4fac0b --- /dev/null +++ b/Makefile.inc
@@ -0,0 +1,2 @@ +subdirs-y += ada common proof +subdirs-y += debug