diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-19 15:59:31 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-19 16:08:52 +0200 |
| commit | 425722d8f548295fc3b94077446e8cdc59e0000f (patch) | |
| tree | e8108c61f18b8913fb583b4a515afadfb1264462 /Makefile | |
| parent | 14eae5d919db02046ddcb441d9907b22e7530a32 (diff) | |
| download | sparse-dev-425722d8f548295fc3b94077446e8cdc59e0000f.tar.gz | |
increment the version number suffix it with -dev
So we can't confuse it with the official version.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -VERSION=0.5.2 +VERSION=0.5.9-dev ######################################################################## # The following variables can be overwritten from the command line |