diff options
author | antirez <antirez@gmail.com> | 2015-06-22 17:28:48 +0200 |
---|---|---|
committer | antirez <antirez@gmail.com> | 2015-06-22 17:28:48 +0200 |
commit | 3d9031eda43c3018244c1e0495a4cfb2ef606974 (patch) | |
tree | 65e717616edbcaf91b29fe8fd7d5fbb5a4262186 | |
parent | 9fc47ddf0b8174e5e652ba11bc3d368f6536ba40 (diff) | |
download | redis-3d9031eda43c3018244c1e0495a4cfb2ef606974.tar.gz |
Geo: compile again with optimizations
For some reason the Geo PR included disabling the fact that Redis is
compiled with optimizations. Apparently it was just @mattsta attempt to
speedup the modify-compile-test iteration and there are no other
reasons.
-rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 8056f9100..d61f8010f 100644 --- a/src/Makefile +++ b/src/Makefile @@ -14,7 +14,7 @@ release_hdr := $(shell sh -c './mkreleasehdr.sh') uname_S := $(shell sh -c 'uname -s 2>/dev/null || echo not') -#OPTIMIZATION?=-O2 +OPTIMIZATION?=-O2 DEPENDENCY_TARGETS=hiredis linenoise lua geohash-int # Default settings |