diff options
author | Chris Johns <chrisj@rtems.org> | 2016-10-31 08:48:21 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-10-31 08:48:35 +1100 |
commit | dd43d0b0f86c277bcd33b1f76e41209c23af6c49 (patch) | |
tree | fb0243580c82473d06603b56789e7fe95f76a703 /user | |
parent | 47aad7a5c3727a23496bb7695cb42c03f82faa36 (diff) |
waf: Add an install command.
Diffstat (limited to 'user')
-rw-r--r-- | user/wscript | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/user/wscript b/user/wscript index bd0035f..245a229 100644 --- a/user/wscript +++ b/user/wscript @@ -2,5 +2,9 @@ from sys import path from os.path import abspath path.append(abspath('../common/')) -from waf import cmd_configure as configure, cmd_build as build, \ - spell, cmd_spell, cmd_options as options, linkcheck, cmd_linkcheck +from waf import cmd_configure as configure, \ + cmd_build as build, \ + spell, \ + cmd_spell, \ + cmd_options as options, \ + linkcheck, cmd_linkcheck |