build/build_rpm.sh
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
+