Remove the extra line in "make release"

Summary: that line was introduced during merge.
11 years ago · 23576d773f
parent 1447bb5919
commit 23576d773f
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@ -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