From 45a6f30b637a739ac834a55e7779230e9e7ba622 Mon Sep 17 00:00:00 2001
From: Paul Menzel <pmenzel@molgen.mpg.de>
Date: Thu, 1 Mar 2018 16:36:46 +0100
Subject: [PATCH] systemd: Configure our default NTP servers

Copy the server names from `/etc/ntp.time.conf`.
---
 systemd.be0 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/systemd.be0 b/systemd.be0
index aba139f71..e8ac5eaf4 100755
--- a/systemd.be0
+++ b/systemd.be0
@@ -58,6 +58,7 @@ mee_configure() {
         -Dblkid=true \
         -Dbuildtype=release \
         -Ddefault-dnssec=no \
+        -Dntp-servers='zeit.fu-berlin.de ntps1-0.cs.tu-berlin.de time.fu-berlin.de' \
         -Dfirstboot=false \
         -Dinstall-tests=false \
         -Dldconfig=false \