@example
@COMMAND.checkout{}
./configure --launch
-cd build/
@end example
The special option @command{--launch} selects launch mode and performs the following steps:
@item create scratch directory @file{build/}
@item change to directory @file{build/}
@item launch @command{make}
-@item capture build output to @file{build/log.txt}
+@item capture build output to @file{build/log/build.txt}
@item echo build output
+@item print elapsed time
+@item indicate if build ultimately succeeded or failed
@end itemize