From 4e0d7c51a35da89dbdd921111979bb884c751b00 Mon Sep 17 00:00:00 2001
From: Or Shachar <ors@wix.com>
Date: Thu, 13 Aug 2020 14:57:54 +0300
Subject: [PATCH] Allow dot char in workspace name

---
 .../google/devtools/build/lib/packages/WorkspaceGlobals.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/com/google/devtools/build/lib/packages/WorkspaceGlobals.java b/src/main/java/com/google/devtools/build/lib/packages/WorkspaceGlobals.java
index ab98b38f460358..371ccb7062a2d8 100644
--- a/src/main/java/com/google/devtools/build/lib/packages/WorkspaceGlobals.java
+++ b/src/main/java/com/google/devtools/build/lib/packages/WorkspaceGlobals.java
@@ -50,7 +50,7 @@
 public class WorkspaceGlobals implements WorkspaceGlobalsApi {
 
   // Must start with a letter and can contain letters, numbers, underscores and hyphens.
-  private static final Pattern LEGAL_WORKSPACE_NAME = Pattern.compile("^\\p{Alpha}[\\w-]*$");
+  private static final Pattern LEGAL_WORKSPACE_NAME = Pattern.compile("^\\p{Alpha}[\\w-\\.]*$");
 
   private final boolean allowOverride;
   private final RuleFactory ruleFactory;