aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2022-01-20 09:28:13 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2022-01-20 09:28:13 +0200
commit348fb2178c02e1eb120806aa9428ead62bb39366 (patch)
treebc7020cf08b408484dbcebd796e1da2e2894c5b7
parent8ed7d3bad5ee618fd56149cd4e7fc39a60356301 (diff)
Note another requirement for standard pre-installed build system modules
-rw-r--r--buildfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/buildfile b/buildfile
index 4c3b9bd..b4b7a6f 100644
--- a/buildfile
+++ b/buildfile
@@ -57,6 +57,7 @@ pt = '^version: (.+)$'
# - documentation: BOOTSTRAP-*.cli and UPGRADE.cli (mention as new module)
# - install scripts: prepare, build2-install.sh, and build2-install-*.bat
# - build2.org/www/ (module docs symlinks for both public and stage, etc)
+# - make sure the module has `builds: all` in its manifest
#
ver = $process.run_regex($bp 'info:' $src_root/, "$pt", '\1')
build2_ver = $process.run_regex($bp 'info:' $src_root/build2/, "$pt", '\1')