From 1c4b0497eab591187714960a3351e724c37d9ceb Mon Sep 17 00:00:00 2001 From: Eryk Szpotanski 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 --- BUILD | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/BUILD b/BUILD index 958cdc67..608bfcc7 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",