aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Ankarström <john@ankarstrom.se>2020-11-11 11:10:28 +0100
committerJohn Ankarström <john@ankarstrom.se>2020-11-11 11:10:28 +0100
commit8c3cbea35f50ba2748731f6de908f0b2e615b153 (patch)
treeec037f296481361e4d5fa78451cce0d4fba51717
parentc014fbffff8e35f773c5c797ddeaae59367176a0 (diff)
parentca2556067707b9657b6a8c14bad1c6b21a829c36 (diff)
downloadrf-8c3cbea35f50ba2748731f6de908f0b2e615b153.tar.gz
Merge branch 'master' of ankarstrom.se:/git/rf
-rwxr-xr-xrf2
1 files changed, 1 insertions, 1 deletions
diff --git a/rf b/rf
index f99a239..bc1b28f 100755
--- a/rf
+++ b/rf
@@ -80,7 +80,7 @@ for (@lines) {
print STDERR "Error: Reference '$def' could not be resolved.\n";
exit 1;
}
- if ($points[$winner] < 11) {
+ if ($points[$winner] < 150) {
print STDERR "Warning: Guessing that reference '$def' refers to " . fmt($format_full, $winner) . ".\n";
}