From d107ed2c7d008381e5a23834c8d43e750ebfed66 Mon Sep 17 00:00:00 2001 From: joglomedia Date: Sat, 2 Nov 2019 12:45:34 +0700 Subject: [PATCH] Enhance cPhalcon installer --- scripts/install_phalcon.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/install_phalcon.sh b/scripts/install_phalcon.sh index 150ecef..7e74dc5 100755 --- a/scripts/install_phalcon.sh +++ b/scripts/install_phalcon.sh @@ -89,10 +89,12 @@ function install_phalcon() { elif wget -q -O /dev/null "https://raw.githubusercontent.com/phalcon/cphalcon/${PHALCON_VERSION}/README.md"; then # Clone repository. if [ ! -d cphalcon ]; then - run git clone --depth=1 --branch="${PHALCON_VERSION}" -q https://github.com/phalcon/cphalcon.git && \ + run git clone -q https://github.com/phalcon/cphalcon.git && \ + run git checkout "${PHALCON_VERSION}" && \ run cd cphalcon/build else run cd cphalcon && \ + run git checkout "${PHALCON_VERSION}" && \ run git pull -q && \ run cd build fi