summaryrefslogtreecommitdiff
path: root/mbld
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2016-01-23 02:34:17 -0800
committerOri Bernstein <ori@eigenstate.org>2016-01-23 02:34:17 -0800
commit6d5d0ec7ee3480347255a9f469c26c8c34b2819a (patch)
tree7f316bbf7bbee620b7bdfde3808369d52a452e83 /mbld
parentd29f8b95128b46048e5dbac897dc27fe70efe3c0 (diff)
downloadmc-6d5d0ec7ee3480347255a9f469c26c8c34b2819a.tar.gz
Make '.use' suffix on usefiles optional.
Diffstat (limited to 'mbld')
-rw-r--r--mbld/deps.myr2
1 files changed, 1 insertions, 1 deletions
diff --git a/mbld/deps.myr b/mbld/deps.myr
index 2667649..e9ad4e4 100644
--- a/mbld/deps.myr
+++ b/mbld/deps.myr
@@ -162,7 +162,7 @@ const srcdeps = {b, ds, g, path, obj, usefile
;;
| `Local (l, lnum):
if !std.hassuffix(l, ".use")
- std.fatal("{}:{}: local dependency \"{}\" should end with .use\n", path, lnum, l)
+ l = std.sljoin(l, ".use")
;;
if obj.len != 0
pushdep(g, l, obj)