timeservice=yes. Fail if no PPS. More documentation.

No point configuring for timeservice if no PPS is possible.

More documentation on what timeservice=yes actually does.

1 files changed, 3 insertions, 0 deletions

diff --git a/SConstruct b/SConstruct
index 6b96f7de..595a3aab 100644
--- a/SConstruct
+++ b/SConstruct
@@ -899,6 +899,9 @@ else:
         announce("Forcing pps=no (neither TIOCMIWAIT nor RFC2783 "
                  "API is available)")
         env["pps"] = False
+        if env["timeservice"]:
+            announce("ERROR: timeservice specified, but no PPS available")
+            Exit(1)
 
     # Map options to libraries required to support them that might be absent.
     optionrequires = {