aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Hagemeister <phihag@phihag.de>2016-05-21 21:24:53 +0200
committerPhilipp Hagemeister <phihag@phihag.de>2016-05-21 21:26:57 +0200
commit7e642e4fd68f9418ecdcb852aa34a4e49c41e58b (patch)
treef19fccc9937387e36408f2d68bde2443b4b58de8
parentc8cc3745fbb34d39f4dfb0c3facb6fa9278af93c (diff)
release: check for pandoc
Abort releaseing if pandoc is missing. (pandoc was not included in my essential app database, and thus missing on my new machine.)
-rwxr-xr-xdevscripts/release.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh
index 8dea55dbb..8b37152a7 100755
--- a/devscripts/release.sh
+++ b/devscripts/release.sh
@@ -33,6 +33,7 @@ if [ ! -z "`git status --porcelain | grep -v CHANGELOG`" ]; then echo 'ERROR: th
useless_files=$(find youtube_dl -type f -not -name '*.py')
if [ ! -z "$useless_files" ]; then echo "ERROR: Non-.py files in youtube_dl: $useless_files"; exit 1; fi
if [ ! -f "updates_key.pem" ]; then echo 'ERROR: updates_key.pem missing'; exit 1; fi
+if ! type pandoc 2>/dev/null; then echo 'ERROR: pandoc is missing'; exit 1; fi
/bin/echo -e "\n### First of all, testing..."
make clean