mirror of
https://github.com/corda/corda.git
synced 2025-01-07 13:38:47 +00:00
undo accidentally-committed makefile change
This commit is contained in:
parent
a80677d673
commit
7aecdb6ce0
2
makefile
2
makefile
@ -112,7 +112,7 @@ ifeq ($(mode),stress-major)
|
|||||||
cflags += -O0 -g3 -DVM_STRESS -DVM_STRESS_MAJOR
|
cflags += -O0 -g3 -DVM_STRESS -DVM_STRESS_MAJOR
|
||||||
endif
|
endif
|
||||||
ifeq ($(mode),fast)
|
ifeq ($(mode),fast)
|
||||||
cflags += -O3 -g3 -DNDEBUG
|
cflags += -O3 -DNDEBUG
|
||||||
strip = strip
|
strip = strip
|
||||||
show-size = ls -l
|
show-size = ls -l
|
||||||
endif
|
endif
|
||||||
|
Loading…
Reference in New Issue
Block a user