diff -r 82a3db4b1d39 -r 5598bad67f8d build/build_rpm.sh --- 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 +