From 311b2c16d8377ace7799c6fd8e98ddc101aea3b9 Mon Sep 17 00:00:00 2001
From: Christopher Allen <cpcallen+git@google.com>
Date: Thu, 8 Jul 2021 16:55:15 +0100
Subject: [PATCH] Rename BUILD_DIR to "build" (was "built")

Per discussion in PR #4968, the dirname "build" is widely used for
this purpose.
---
 scripts/gulpfiles/config.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/gulpfiles/config.js b/scripts/gulpfiles/config.js
index 4008b6304..30434f8c0 100644
--- a/scripts/gulpfiles/config.js
+++ b/scripts/gulpfiles/config.js
@@ -14,7 +14,7 @@ var path = require('path');
 // trailing slash.
 module.exports = {
   // Directory to write compiled output to.
-  BUILD_DIR: 'built',
+  BUILD_DIR: 'build',
 
   // Directory in which to assemble (and from which to publish) the
   // blockly npm package.