diff options
| author | Remi Collet <remi@remirepo.net> | 2019-02-26 11:52:19 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-02-26 11:52:19 +0100 |
| commit | 0924855544088c795a49be069196222ea4959e32 (patch) | |
| tree | dab46cdb28377b9362c7bfb428d2915cdcb20c53 /phpdoc-get-source.sh | |
| parent | c9ac4aa729c790e9d0c0360a19dddf70147d8ab0 (diff) | |
backport stuff
Diffstat (limited to 'phpdoc-get-source.sh')
| -rwxr-xr-x | phpdoc-get-source.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/phpdoc-get-source.sh b/phpdoc-get-source.sh index b2ac62b..3947de4 100755 --- a/phpdoc-get-source.sh +++ b/phpdoc-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}/composer.json popd TAR_DIR=${GIT_NAME}-${GIT_COMMIT} |