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 94f5d9e..67a1e1b 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)