changeset 407 | 2dba812c7ef2 |
parent 384 | 5598bad67f8d |
child 410 | 240ca282331d |
--- a/build/build_rpm.sh Wed Nov 09 15:05:41 2016 +0100 +++ b/build/build_rpm.sh Wed Nov 09 23:41:15 2016 +0100 @@ -20,7 +20,7 @@ mkdir -p /vagrant/dist pushd /vagrant/dist > /dev/null echo "---> Launching packaging" -rm -f *.rpm +rm -f corpusdelaparole*.rpm version=$(grep -oP "\'version\'\s*=>\s*\'\K[\.0-9]+(?=\')" /vagrant/root/var/www/corpusdelaparole/corpus-back/config/version.php) version=${version:-0.0.0}