From e1c7c63aa71579db72a01b117abbe03491cd0ae4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Hertzog?= <hertzog@debian.org>
Date: Wed, 14 Dec 2016 12:37:34 +0100
Subject: [PATCH] No longer require a kali-patched live-build

live-build from Debian now supports EFI boot by default.
---
 build.sh | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/build.sh b/build.sh
index 5645213..e977097 100755
--- a/build.sh
+++ b/build.sh
@@ -138,10 +138,6 @@ if dpkg --compare-versions "$ver_live_build" lt 1:20151215kali1; then
 	echo "ERROR: You need live-build (>= 1:20151215kali1), you have $ver_live_build" >&2
 	exit 1
 fi
-if ! echo "$ver_live_build" | grep -q kali; then
-	echo "ERROR: You need a Kali patched live-build. Your current version: $ver_live_build" >&2
-	exit 1
-fi
 
 # Check we have a good debootstrap
 ver_debootstrap=$(dpkg-query -f '${Version}' -W debootstrap)