From 00a4f3c5d98181693a5a54872c8dc63c55ac7d16 Mon Sep 17 00:00:00 2001
From: Jo Shields <joshield@microsoft.com>
Date: Fri, 20 Apr 2018 09:37:30 -0400
Subject: [PATCH] Fix bad usage of $PATH

(cherry picked from commit 09e7b014bf94f61ab4f0a06bad6238f74cc242b2)


Former-commit-id: 60964e7ad265aa2dc6d69b2ce30328becdd40541
---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index b56ac9997d..30f4e6b4f9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -92,7 +92,7 @@ DPKG_EXPORT_BUILDFLAGS = 1
 include /usr/share/dpkg/buildflags.mk
 
 CONFIGURE =	CFLAGS="$(CFLAGS)" CPPFLAGS="$(CPPFLAGS)" LDFLAGS="$(LDFLAGS)"   \
-		PATH="/usr/lib/mono/llvm/bin:$PATH" \
+		PATH="/usr/lib/mono/llvm/bin:$(PATH)" \
 		$(GCC) ./configure $(CONF_FLAGS) --prefix=/usr \
 		  --mandir=\$${prefix}/share/man \
 		  --infodir=\$${prefix}/share/info --sysconfdir=/etc \