diff options
author | Remi Collet <remi@remirepo.net> | 2020-08-24 09:05:03 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2020-08-24 09:05:03 +0200 |
commit | 3c0a234ce7230c9e6365d80fb1858e0c77cf352d (patch) | |
tree | 422498adab9d5ee67b16026b41a27b6348857d3a /php-opis-closure-get-source.sh | |
parent | 905f3f9c8495bfd2a89450f63737a81d3ddfac08 (diff) |
backport for remmirepo
Diffstat (limited to 'php-opis-closure-get-source.sh')
-rwxr-xr-x | php-opis-closure-get-source.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/php-opis-closure-get-source.sh b/php-opis-closure-get-source.sh index fd53f46..c614ff3 100755 --- a/php-opis-closure-get-source.sh +++ b/php-opis-closure-get-source.sh @@ -55,6 +55,7 @@ pushd $TEMP_DIR pushd $GIT_DIR print "Checking out commit..." $GIT checkout $GIT_COMMIT + cp composer.json ${SPEC_DIR}/ popd TAR_DIR=${GIT_NAME}-${GIT_COMMIT} |