diff options
Diffstat (limited to 'Makefile.versions')
-rw-r--r-- | Makefile.versions | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.versions b/Makefile.versions index a7820b3b3..f3adcb0a6 100644 --- a/Makefile.versions +++ b/Makefile.versions @@ -1,10 +1,10 @@ # # CRIU version. CRIU_VERSION_MAJOR := 3 -CRIU_VERSION_MINOR := 12 -CRIU_VERSION_SUBLEVEL := 1 +CRIU_VERSION_MINOR := 13 +CRIU_VERSION_SUBLEVEL := CRIU_VERSION_EXTRA := -CRIU_VERSION_NAME := Ice Penguin +CRIU_VERSION_NAME := Silicon Willet CRIU_VERSION := $(CRIU_VERSION_MAJOR)$(if $(CRIU_VERSION_MINOR),.$(CRIU_VERSION_MINOR))$(if $(CRIU_VERSION_SUBLEVEL),.$(CRIU_VERSION_SUBLEVEL))$(if $(CRIU_VERSION_EXTRA),.$(CRIU_VERSION_EXTRA)) export CRIU_VERSION_MAJOR CRIU_VERSION_MINOR CRIU_VERSION_SUBLEVEL |