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