From 0924855544088c795a49be069196222ea4959e32 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Tue, 26 Feb 2019 11:52:19 +0100 Subject: backport stuff --- phpdoc-get-source.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'phpdoc-get-source.sh') 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} -- cgit