diff options
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/wscript | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/shell/wscript b/shell/wscript index 939f4cf..0956726 100644 --- a/shell/wscript +++ b/shell/wscript @@ -8,12 +8,4 @@ def configure(ctx): cmd_configure(ctx) def build(ctx): - - sub = { - "VERSION": "1.0", - "RELEASE": "5.0.0", - "DOC": "Shell", - "FILE_DOC": "rtemsshell", - } - - cmd_build(ctx, sub) + cmd_build(ctx) |