1 files changed, 1 insertions, 1 deletions
diff --git a/wscript b/wscript
index 11c93f3..0a34d47 100644
--- a/wscript
+++ b/wscript
@@ -38,7 +38,7 @@ subdirs = ['rtemstoolkit',
            'tools/gdb/python']
 
 def get_version(ctx):
-    version = '4.12'
+    version = '5'
     revision = 'not_released'
     release = '%s.%s' % (version, revision)
     if os.path.exists('VERSION'):