summaryrefslogtreecommitdiff
path: root/bld.proj
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-04-16 14:13:47 -0700
committerOri Bernstein <ori@eigenstate.org>2015-04-16 14:13:47 -0700
commit9df78d333d4fcc74754e16ddf06c2fba58c9858a (patch)
tree03f1f12dcd4cb74f0e6cc4fd63b95f9234b4ec5a /bld.proj
parentb7747c5a3d36f99514b1945efb05b9f04f7dc74a (diff)
downloadmc-9df78d333d4fcc74754e16ddf06c2fba58c9858a.tar.gz
Push/pop directories appropriately.
We had bugs because this was done by just setting dirs, without properly changing back at the end of a command. Ordering of build targets would break builds.
Diffstat (limited to 'bld.proj')
-rw-r--r--bld.proj2
1 files changed, 1 insertions, 1 deletions
diff --git a/bld.proj b/bld.proj
index bc3b1c8..1f23b30 100644
--- a/bld.proj
+++ b/bld.proj
@@ -1,7 +1,7 @@
sub =
+ mbld
libstd
libbio
libregex
- mbld
;;