From 4aa17b21e0661f2b5f2685dbc8baf59e2809dddf Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Sat, 16 Jul 2016 23:57:11 +0200
Subject: fail if no script got produced

---
 bin/populate | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/bin/populate b/bin/populate
index 17a8107..ff242cf 100755
--- a/bin/populate
+++ b/bin/populate
@@ -45,7 +45,7 @@ if test -z "$target_spec"; then
 fi
 
 if test "$fail" != true; then
-  exit 1
+  exit 11
 fi
 
 
@@ -56,6 +56,11 @@ script=$(jq -e -r \
     --arg origin_user "$origin_user" \
     -f "$libdir/populate.jq")
 
+if test -z "$script"; then
+  error 'no script produced'
+  exit 12
+fi
+
 
 if test "$debug" = true; then
   echo "$script"
-- 
cgit v1.2.3