From 8bd53dc09fc12076ab1dfde84fbfc2d8aa00bbea Mon Sep 17 00:00:00 2001 From: Jehan Date: Thu, 2 Jun 2016 12:38:28 +0200 Subject: [PATCH] INSTALL: typo or agreement fix. s/This options/This option/ --- INSTALL.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL.in b/INSTALL.in index 17dadf11e1..ef4bbde83d 100644 --- a/INSTALL.in +++ b/INSTALL.in @@ -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.