Move scripts into bin/.

gardenlinux · Nov 2, 2023 · 58d73da · 58d73da
1 parent 5b99ab0
commit 58d73da
Show file tree

Hide file tree

Showing 6 changed files with 4 additions and 4 deletions.
diff --git a/build → bin/build b/build → bin/build
diff --git a/build_archdep → bin/build_archdep b/build_archdep → bin/build_archdep
diff --git a/build_indep → bin/build_indep b/build_indep → bin/build_indep
diff --git a/build_source → bin/build_source b/build_source → bin/build_source
diff --git a/build.containerfile b/build.containerfile
@@ -36,8 +36,8 @@ RUN apt-get update \
     && ./main \
     && find /tmp -mindepth 1 -delete
 
-# Copy the build scripts to /usr/local/bin
-COPY build_source build_indep build_archdep build /usr/local/bin/
+# Copy the build scripts from bin/ into /usr/local/bin
+COPY bin/ /usr/local/bin
 
 # Copy mini_sudo from stage 1
 COPY --from=mini_sudo /usr/local/bin/sudo /usr/local/bin/sudo

diff --git a/crossbuild.containerfile b/crossbuild.containerfile
@@ -56,8 +56,8 @@ RUN [ "/native/bash", "-c", "PATH=/native:$PATH ./setup_native import $(awk '{ p
 # Clean up /tmp
 RUN find /tmp -mindepth 1 -delete
 
-# Copy the build scripts to /usr/local/bin
-COPY build_source build_indep build_archdep build /usr/local/bin/
+# Copy the build scripts from bin to /usr/local/bin
+COPY bin/ /usr/local/bin
 
 # Copy mini_sudo from stage 1
 COPY --from=mini_sudo /usr/local/bin/sudo /usr/local/bin/sudo