summaryrefslogtreecommitdiff
path: root/mbld/deps.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-06-28 14:26:16 -0700
committerOri Bernstein <ori@eigenstate.org>2015-06-28 14:26:16 -0700
commitb05bd318302a3b5043a56479d20261d81bc27012 (patch)
treee6a6532e0fd6255321fd6335464e8e57c28548cf /mbld/deps.myr
parentd17587d89ed49739392eb6d768d583c7f5955d2c (diff)
downloadmc-b05bd318302a3b5043a56479d20261d81bc27012.tar.gz
Implement '__init__' functions.
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 c1174df..2d8ad04 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 1: /* nothing: version matches. */
+ | `std.Some 2: /* nothing: version matches. */
+ | `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)
| `std.None: std.fatal("library {}: corrutpt or invalid usefile\n", lib)