From d1c03ced34502125fa49bceb0a284d6a6d6f5789 Mon Sep 17 00:00:00 2001 From: Chizi123 <joelgrun@gmail.com> Date: Fri, 23 Aug 2019 01:27:46 +0000 Subject: [PATCH] removing old packages from remote --- build_packages.sh | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/build_packages.sh b/build_packages.sh old mode 100644 new mode 100755 index 62f3f65..bb61675 --- a/build_packages.sh +++ b/build_packages.sh @@ -1,4 +1,6 @@ #!/bin/bash -CHDIR=$(dirname "$(realpath $0)")/chroot +CHDIR=$(dirname "$(realpath $0)")/chroot +mount --bind $CHDIR $CHDIR $CHDIR/bin/arch-chroot $CHDIR su joel -c "/build/repo/build.sh" +umount $CHDIR -- Gitblit v1.9.3