diff --git a/Makefile b/Makefile index b770ca7b0..ae1ee56f2 100644 --- a/Makefile +++ b/Makefile @@ -139,7 +139,6 @@ all: $(LIBRARY) $(PROGRAMS) # Will also generate shared libraries. release: $(MAKE) clean - OPT="-DNDEBUG -O2" $(MAKE) -j32 OPT="-DNDEBUG -O2" $(MAKE) all -j32 OPT="-DNDEBUG -O2" $(MAKE) $(SHARED) -j32