summaryrefslogtreecommitdiff
path: root/mbld/bldfile
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-04-13 02:53:17 -0700
committerOri Bernstein <ori@eigenstate.org>2015-04-13 02:53:17 -0700
commit4b96cad11e9b97b9a773b50d91ab75b610205af9 (patch)
treee9800200a6fa3322ceb392238d543850ddc6fc9e /mbld/bldfile
parent5366d78995106b1017068e7d2ef043e27c1383fe (diff)
downloadmc-integrated.tar.gz
Build tweaksintegrated
./configure, when run automatically, now remembers your prefix and such. Also, mbld correctly reruns it.
Diffstat (limited to 'mbld/bldfile')
-rw-r--r--mbld/bldfile4
1 files changed, 3 insertions, 1 deletions
diff --git a/mbld/bldfile b/mbld/bldfile
index 4137876..1986947 100644
--- a/mbld/bldfile
+++ b/mbld/bldfile
@@ -24,7 +24,9 @@ bin mbld =
lib ../libregex:regex
;;
-gen config.myr {durable} = ../configure ;;
+gen config.myr {durable} =
+ sh -c "cd .. && ./configure --redo"
+;;
man = mbld.1;;