Skip to content

Commit

Permalink
Merge pull request OpenDDS#4494 from sonndinh/configure
Browse files Browse the repository at this point in the history
Update the usage message in the configure script
  • Loading branch information
iguessthislldo authored Feb 28, 2024
2 parents d139fe7 + 8fa442d commit 2f7e805
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion configure
Original file line number Diff line number Diff line change
Expand Up @@ -309,7 +309,7 @@ Options for this script are listed below, with the default behavior described
in parenthesis after the option description.
Boolean options can take the form "--opt" or "--no-opt", the more commonly
needed one (the one that changes the default behavior) is shown below.
Options that require arguments are shown as "--opt=VAL" Options with optional
Options that require arguments are shown as "--opt=VAL". Options with optional
arguments are shown as "--opt[=VAL]". Options that can be repeated with
cumulative effect are shown with a trailing "...". Some third-party
optional dependencies can be automatically located if they are installed in the
Expand Down

0 comments on commit 2f7e805

Please sign in to comment.