summaryrefslogtreecommitdiff
path: root/SConstruct
diff options
context:
space:
mode:
Diffstat (limited to 'SConstruct')
-rw-r--r--SConstruct3
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 = {