packaging: check in make_tgz if packages folder exists

related: #4714
7 years ago · 2bd5e0f25d
1 changed files with 10 additions and 0 deletions
--- a/contrib/make_tgz
+++ b/contrib/make_tgz
@ -1 +1,11 @@
 #!/bin/bash
 contrib=$(dirname "$0")
 packages="$contrib"/../packages/
 if [ ! -d "$packages" ]; then
  echo "Run make_packages first!"
  exit 1
 fi
 python3 setup.py sdist --format=zip,gztar