Skip to content
Snippets Groups Projects
Commit 7291d4b6 authored by Oliver Sander's avatar Oliver Sander
Browse files

fix typo. Patch by Elias Pipping

[[Imported from SVN: r6500]]
parent d0410ca4
No related branches found
No related tags found
No related merge requests found
......@@ -453,7 +453,7 @@ usage () {
echo " --opts=FILE load default options from FILE"
echo " (see dune-common/doc/example.opts)"
echo " --builddir=NAME make out-of-source builds in a subdir NAME."
echo " This directory is create inside each module."
echo " This directory is created inside each module."
echo " --[COMMAND]-opts=opts set options for COMMAND"
echo " (this is mainly useful for the all COMMAND)"
echo "COMMANDS:"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment