diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2015-06-28 14:26:16 -0700 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2015-06-28 14:26:16 -0700 |
| commit | b05bd318302a3b5043a56479d20261d81bc27012 (patch) | |
| tree | e6a6532e0fd6255321fd6335464e8e57c28548cf /mbld/deps.myr | |
| parent | d17587d89ed49739392eb6d768d583c7f5955d2c (diff) | |
| download | mc-b05bd318302a3b5043a56479d20261d81bc27012.tar.gz | |
Implement '__init__' functions.
Diffstat (limited to 'mbld/deps.myr')
| -rw-r--r-- | mbld/deps.myr | 3 |
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) |