@ -87,3 +87,6 @@ EOF
echo "Build debian package..."
dpkg-buildpackage --no-sign
echo "Remove debian source directory..."
rm -fr deb_dist/mylib-*