INSTALL: typo or agreement fix. s/This options/This option/

This commit is contained in:
Jehan 2016-06-02 12:38:28 +02:00
parent 2f8467e3a7
commit 8bd53dc09f
1 changed files with 1 additions and 1 deletions

View File

@ -203,7 +203,7 @@ These are:
on. The default is for debugging to be disabled. NOTE: This
option is intended primarily as a convenience for developers.
--enable-profile and --disable-profile. This options causes the build
--enable-profile and --disable-profile. This option causes the build
process to compile with execution profiling enabled. The default is
for profiling to be disabled. NOTE: This option is intended primarily
as a convenience for developers.