Merge branch '2.1' into 2.2

This commit is contained in:
Markus Mäkelä
2018-01-19 11:47:13 +02:00
6 changed files with 63 additions and 34 deletions

View File

@ -18,11 +18,11 @@ then
ctest --output-on-failure || exit 1
fi
if [ $remove_strip == "yes" ] ; then
sudo rm -rf /usr/bin/strip
sudo touch /usr/bin/strip
sudo chmod a+x /usr/bin/strip
fi
# Never strip binaries
sudo rm -rf /usr/bin/strip
sudo touch /usr/bin/strip
sudo chmod a+x /usr/bin/strip
sudo make package
res=$?
if [ $res != 0 ] ; then