From 80dab677b132ebda07d00c98e2ff4941afa42e07 Mon Sep 17 00:00:00 2001 From: Umut Date: Tue, 8 Feb 2022 17:01:47 +0300 Subject: [PATCH] chore: fix docker detection --- script/make_utils/setup_os_deps.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/make_utils/setup_os_deps.sh b/script/make_utils/setup_os_deps.sh index ab33e22b6..83c2b7bad 100755 --- a/script/make_utils/setup_os_deps.sh +++ b/script/make_utils/setup_os_deps.sh @@ -12,7 +12,7 @@ isDockerBuildkit(){ } isDockerContainer(){ - [[ -e ./dockerenv ]] + [[ -e /.dockerenv ]] } LINUX_INSTALL_PYTHON=0