3 This chapter is for building from a terminal/shell environment in as few commands as possible. If more flexibility is required you should skip this chapter and jump to @ref{overview}.
10 The special option @command{--launch} selected launch mode and performs the following steps:
13 @item assert scratch directory @file{build/} does not exist
14 @item create scratch directory @file{build/}
15 @item change to directory @file{build/}
16 @item launch @command{make}
17 @item capture build output to @file{build/log.txt}
18 @item echo build output