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}}"