diff options
| author | Chris Johns <chrisj@rtems.org> | 2015-12-11 17:15:27 +1100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2015-12-11 17:15:27 +1100 |
| commit | 16b33b64f02dd7a7ca793f6797082fbdf476ecc6 (patch) | |
| tree | a9ced1a56cf8db0614c5b84b6313398457ba6b21 | |
| parent | VERSION as an INI format file. (diff) | |
| download | rtems-tools-16b33b64f02dd7a7ca793f6797082fbdf476ecc6.tar.bz2 | |
Add a VERSION message to configure.
| -rw-r--r-- | wscript | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -94,6 +94,8 @@ def configure(ctx): except: pass ctx.env.RTEMS_VERSION, ctx.env.RTEMS_RELEASE = get_version(ctx) + ctx.start_msg('Version') + ctx.end_msg('%s (%s)' % (ctx.env.RTEMS_RELEASE, ctx.env.RTEMS_VERSION)) ctx.env.C_OPTS = ctx.options.c_opts.split(',') check_options(ctx, ctx.options.host) recurse(ctx) |