diff options
Diffstat (limited to 'buildfile')
-rw-r--r-- | buildfile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/buildfile b/buildfile new file mode 100644 index 0000000..554e881 --- /dev/null +++ b/buildfile @@ -0,0 +1,9 @@ +# file : buildfile +# copyright : Copyright (c) 2009-2015 Code Synthesis Tools CC +# license : GNU GPL v2; see accompanying LICENSE file + +d = odb/ tests/ +./: $d doc{GPLv2 INSTALL LICENSE NEWS README version} file{manifest} +include $d + +doc{INSTALL}@./: install = false |