Turn on optimization again

It got turned off by mistake just because I had been doing debugging,
and committed the Makefile that had other changes ...

diff --git a/Makefile b/Makefile
index 94f5d9e5f2cb1ff488d0145ffc698b679e776021..67a1e1b3c24bcf42a89fcfe9f97490ed9ba99093 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,7 @@
 # BREAK YOUR LOCAL DIFFS! show-diff and anything using it will likely randomly
 # break unless your underlying filesystem supports those sub-second times
 # (my ext3 doesn't).
-COPTS=
+COPTS=-O2
 CFLAGS=-g $(COPTS) -Wall
 
 prefix=$(HOME)