From 355d94f5dfc0040da58ebc15ab16351c1d0ca401 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 9 Oct 2019 14:31:30 +0200
Subject: [PATCH] Use NTP server from pool.ntp.org in sntp_client test

---
 repos/libports/run/sntp_client.run | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/repos/libports/run/sntp_client.run b/repos/libports/run/sntp_client.run
index ca7c098a1..7196b5f4c 100644
--- a/repos/libports/run/sntp_client.run
+++ b/repos/libports/run/sntp_client.run
@@ -5,6 +5,11 @@ if { [have_spec linux] } {
 	exit 0
 }
 
+set host_tool [installed_command host]
+set ntp_ip    [exec $host_tool -t A pool.ntp.org | head -1 | cut -d " " -f 4]
+
+puts "Using NTP server $ntp_ip"
+
 create_boot_directory
 
 import_from_depot [depot_user]/src/[base_src] \
@@ -56,7 +61,7 @@ append config {
 
 	<start name="sntp_client">
 		<resource name="RAM" quantum="8M"/>
-		<config verbose="no" dst_ip="193.175.73.151" period_min="1"/>
+		<config verbose="no" dst_ip="} $ntp_ip {" period_min="1"/>
 	</start>
 </config>}