summaryrefslogtreecommitdiff
path: root/mbld/deps.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-07-05 11:36:46 -0700
committerOri Bernstein <ori@eigenstate.org>2015-07-05 11:36:46 -0700
commitcf357b748945f161ed4a4c7ebac9e1353f3307a3 (patch)
tree8d1f1991d97c37da7f7558454eafd4a46ee4d989 /mbld/deps.myr
parent4fac3196061c75f159d37bd8e7e51dc64f0dd5df (diff)
downloadmc-cf357b748945f161ed4a4c7ebac9e1353f3307a3.tar.gz
Add proper support for a 'gap' variable.
'_' is now a reserved token.
Diffstat (limited to 'mbld/deps.myr')
-rw-r--r--mbld/deps.myr3
1 files changed, 2 insertions, 1 deletions
diff --git a/mbld/deps.myr b/mbld/deps.myr
index 2d8ad04..388b049 100644
--- a/mbld/deps.myr
+++ b/mbld/deps.myr
@@ -234,7 +234,8 @@ const scrapelibs = {dg, lib, incs
| `std.None: std.fatal("library {}: could not read usefile\n", lib)
;;
match bio.getbe32(f)
- | `std.Some 2: /* nothing: version matches. */
+ | `std.Some 3: /* nothing: version matches. */
+ | `std.Some 2: std.fput(1, "library {}: warning: old usefile version\n", lib)
| `std.Some 1: std.fput(1, "library {}: warning: old usefile version\n", lib)
| `std.Some 0: std.fput(1, "library {}: warning: old usefile version\n", lib)
| `std.Some _: std.fatal("library {}: usefile version unknown\n", lib)