diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2022-01-20 09:28:13 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-01-20 09:28:13 +0200 |
commit | 348fb2178c02e1eb120806aa9428ead62bb39366 (patch) | |
tree | bc7020cf08b408484dbcebd796e1da2e2894c5b7 /buildfile | |
parent | 8ed7d3bad5ee618fd56149cd4e7fc39a60356301 (diff) |
Note another requirement for standard pre-installed build system modules
Diffstat (limited to 'buildfile')
-rw-r--r-- | buildfile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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') |