From 65e2037c6952731c93292d88be2550c6d2800653 Mon Sep 17 00:00:00 2001
From: Marcus Llewellyn <marcus.llewellyn@gmail.com>
Date: Sun, 19 Jan 2020 17:06:35 -0600
Subject: [PATCH] Fixed "setup" oops in BUILD-LINUX.md

---
 BUILD_LINUX.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/BUILD_LINUX.md b/BUILD_LINUX.md
index f2396dfc46..cc133d4c83 100644
--- a/BUILD_LINUX.md
+++ b/BUILD_LINUX.md
@@ -150,7 +150,7 @@ Go to localhost in the running interface.
 
 #### Notes
 
-If your goal is to setup a development environment, it is desirable to set up the
+If your goal is to set up a development environment, it is desirable to set the
 directory that vcpkg builds to via the `HIFI_VCPKG_BASE` environment variable.
 By default, vcpkg will build in the system `/tmp` directory.