changeset 384 | 5598bad67f8d |
parent 383 | 82a3db4b1d39 |
child 407 | 2dba812c7ef2 |
--- a/build/build_rpm.sh Fri Oct 21 16:07:19 2016 +0200 +++ b/build/build_rpm.sh Fri Oct 21 16:54:02 2016 +0200 @@ -22,8 +22,6 @@ echo "---> Launching packaging" rm -f *.rpm -popd > /dev/null - version=$(grep -oP "\'version\'\s*=>\s*\'\K[\.0-9]+(?=\')" /vagrant/root/var/www/corpusdelaparole/corpus-back/config/version.php) version=${version:-0.0.0} @@ -52,3 +50,6 @@ . echo "---> Packaging done" + +popd > /dev/null +