diff options
Diffstat (limited to 'jenkins-builds/funcs_promotion.sh')
| -rwxr-xr-x | jenkins-builds/funcs_promotion.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-builds/funcs_promotion.sh b/jenkins-builds/funcs_promotion.sh index 589b10e..7d27f66 100755 --- a/jenkins-builds/funcs_promotion.sh +++ b/jenkins-builds/funcs_promotion.sh @@ -137,7 +137,7 @@ function prom_merge_modules() { fi cd $modulefolder if [ "$masterpick" = "$i" ] ; then - for k in artifact.properties LICENSE.txt README.txt ; do + for k in artifact.properties LICENSE.txt README.md README.txt ; do if [ -e $k ] ; then cp -av $k ../$mergefolder/$j.$k fi |