diff options
Diffstat (limited to 'tools/build-automation/master.nw')
| -rw-r--r-- | tools/build-automation/master.nw | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/build-automation/master.nw b/tools/build-automation/master.nw new file mode 100644 index 0000000000000..f929da28b3f36 --- /dev/null +++ b/tools/build-automation/master.nw @@ -0,0 +1,13 @@ +% $Id: master.nw 2461 2012-03-11 10:15:00Z jkoshy $ +% +% The build master. + +\chapter{The Build Master}\label{chap.master} + +% Stub. +<<build-master>>= +def main(): + print "Hello World\n" +@ %def main + +% End-of-file. |