From 5a9914d6e7666f0af95c46d23ba74baa6cd2cc7f Mon Sep 17 00:00:00 2001
From: Eryk Szpotanski <eszpotanski@antmicro.com>
Date: Fri, 14 Jun 2024 17:51:09 +0200
Subject: [PATCH] BUILD: Use docker_shell directly, instead of sh_binary

Signed-off-by: Eryk Szpotanski <eszpotanski@antmicro.com>
---
 BUILD | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/BUILD b/BUILD
index 958cdc6..608bfcc 100644
--- a/BUILD
+++ b/BUILD
@@ -11,6 +11,7 @@ exports_files(["mock_area.tcl"])
 exports_files([
     "orfs",
     "out_script",
+    "docker_shell",
 ])
 
 exports_files(
@@ -177,12 +178,6 @@ oci_tarball(
     repo_tags = ["openroad/flow-ubuntu22.04-builder:latest"],
 )
 
-sh_binary(
-    name = "docker_shell",
-    srcs = ["docker_shell.sh"],
-    visibility = ["//visibility:public"],
-)
-
 # buildifier: disable=duplicated-name
 build_openroad(
     name = "tag_array_64x184",