summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorMatthew Johnson <mjj29@hecate.trinhall.cam.ac.uk>2006-11-21 14:49:05 +0000
committerMatthew Johnson <mjj29@hecate.trinhall.cam.ac.uk>2006-11-21 14:49:05 +0000
commit965739d7b3f372c46c29201f9365132521256dd0 (patch)
tree88d302e0f7de47fc2a9f31c8953cdc0eb7a03641 /Makefile
parenta1cb02d85549c736b482efbe9706623e353915e3 (diff)
up to dev version number
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 8c8c8f8..9bcd1e6 100644
--- a/Makefile
+++ b/Makefile
@@ -41,8 +41,8 @@ RUNPREFIX?=$(PREFIX)
RUNJARPREFIX?=$(RUNPREFIX)/share/java
RUNLIBPREFIX?=$(RUNPREFIX)/lib/jni
-VERSION = 1.12
-RELEASEVERSION = 1.11
+VERSION = 1.13
+RELEASEVERSION = 1.12
# Usage: cflags-y += $(call cc-option, -march=winchip-c6, -march=i586)
cc-option = $(shell if $(CC) $(1) -S -o /dev/null -xc /dev/null \