sculpt: version 20.03
This patch increases the Sculpt version to avoid the risk of binary compatibility clashes with index files published for the just-released Sculpt 20.02 version.
This commit is contained in:
parent
491fcb9fe3
commit
4779e1e7d8
|
@ -537,7 +537,7 @@ exec gzip -dc [genode_dir]/repos/gems/run/sculpt/machine.vdi.gz > [run_dir]/geno
|
|||
# Note: the string must be exactly 5 bytes long.
|
||||
#
|
||||
proc sculpt_version { } {
|
||||
return "20.02" }
|
||||
return "20.03" }
|
||||
|
||||
# write file with newline (for producing nice output when using 'cat /VERSION')
|
||||
set fd [open [run_dir]/genode/VERSION w]
|
||||
|
|
Loading…
Reference in New Issue