From 87997291dc13104eb9b72564a7342f600461ddfc Mon Sep 17 00:00:00 2001
From: MilhouseVH <milhouseVH.github@nmacleod.com>
Date: Sat, 21 Oct 2017 03:57:39 +0100
Subject: [PATCH] distro-tool: ignore package output

---
 tools/distro-tool | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/distro-tool b/tools/distro-tool
index 0977d43f72..744a1c436e 100755
--- a/tools/distro-tool
+++ b/tools/distro-tool
@@ -808,7 +808,7 @@ generate_work_worker() {
     while read -r package_name; do
       [ ${PROGRESS} == yes ] && progress ${pcount}
 
-      source config/options ${package_name} 2>/dev/null || true
+      source config/options ${package_name} &>/dev/null || true
 
       if [ -n "${revision}" ]; then
         PKG_URL="${PKG_URL/${PKG_VERSION}/${revision}}"