From ebfb67b100da0f8cb6ed1bf4274c790d8d1f2ed4 Mon Sep 17 00:00:00 2001 From: dev Date: Fri, 3 Nov 2023 11:19:24 -0400 Subject: [PATCH] Update to .sh extension inline with google style guide --- Dockerfile | 4 ++-- scripts/{install_build_tools.bash => install_build_tools.sh} | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename scripts/{install_build_tools.bash => install_build_tools.sh} (100%) diff --git a/Dockerfile b/Dockerfile index 91f0235..02795d3 100644 --- a/Dockerfile +++ b/Dockerfile @@ -15,8 +15,8 @@ RUN apt-get update FROM base AS x64-version # add build tools including Google test and mock -COPY scripts/install_build_tools.bash /install_build_tools.bash -RUN ./install_build_tools.bash +COPY scripts/install_build_tools.sh /install_build_tools.sh +RUN ./install_build_tools.sh FROM base AS cross-compile-version diff --git a/scripts/install_build_tools.bash b/scripts/install_build_tools.sh similarity index 100% rename from scripts/install_build_tools.bash rename to scripts/install_build_tools.sh