From db089965b3972001907637d4dc19ba8ad953045a Mon Sep 17 00:00:00 2001
From: Vincent Kersten <vkersten@versatel.nl>
Date: Mon, 11 May 2015 09:30:38 +0200
Subject: [PATCH] Make the source line proper

---
 build-debian.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build-debian.sh b/build-debian.sh
index 09467f9..08ec76e 100755
--- a/build-debian.sh
+++ b/build-debian.sh
@@ -37,8 +37,9 @@ if [ "x${PHP_VER}" = "x" ]; then
 	exit 1
 fi
 
+# There is prolly a better way to do this (getting the proper source pkg name):
 PHP_SRC1="$(dpkg-query -W -f='${Version}' php5)"
-PHP_SRC=${PHP_SRC1%*-*}
+PHP_SRC=php5-${PHP_SRC1%*-*}
 
 if [ ! -f "${PHP_SRC}" ]; then
 	apt-get source php5