[pkg-ntp-maintainers] Bug#772990: [PATCH] ntpdate-debian should recognize the "pool" directive

[Nye Liu]

--- /usr/sbin/ntpdate-debian	2016-06-07 16:45:39.000000000 -0700
+++ ntpdate-debian	2016-09-27 15:18:07.000000000 -0700
@@ -14,7 +14,7 @@
 		fi
 	done
 	if [ -n "$file" ]; then
-		NTPSERVERS=$(sed -rne 's/^(servers?|peer)[[:space:]]+(-[46][[:space:]]+)?([-_.:[:alnum:]]+).*$/\3/p' "$file" | grep -v '^127\.127\.') || [ $? -le 1 ]
+		NTPSERVERS=$(sed -rne 's/^(servers?|peer|pool)[[:space:]]+(-[46][[:space:]]+)?([-_.:[:alnum:]]+).*$/\3/p' "$file" | grep -v '^127\.127\.') || [ $? -le 1 ]
 	fi
 elif [ -r /var/lib/ntpdate/default.dhcp ]; then
 	. /var/lib/ntpdate/default.dhcp