mirror of
https://github.com/corda/corda.git
synced 2025-05-29 13:44:25 +00:00
add profile-jscheme target to makefile
This commit is contained in:
parent
af6f2bbc46
commit
ec68b60204
8
makefile
8
makefile
@ -173,6 +173,14 @@ debug-jscheme: $(executable) $(input)
|
|||||||
vg-jscheme: $(executable) $(input)
|
vg-jscheme: $(executable) $(input)
|
||||||
LD_LIBRARY_PATH=$(bld) $(vg) $(<) -cp $(cls):$(jscheme) $(jscheme-command)
|
LD_LIBRARY_PATH=$(bld) $(vg) $(<) -cp $(cls):$(jscheme) $(jscheme-command)
|
||||||
|
|
||||||
|
.PHONY: profile-jscheme
|
||||||
|
profile-jscheme: $(executable) $(input)
|
||||||
|
opcontrol --start; \
|
||||||
|
echo '(+ 5 6)' | LD_LIBRARY_PATH=$(bld) \
|
||||||
|
$(<) -cp $(cls):$(jscheme) jscheme/REPL; \
|
||||||
|
opcontrol --stop; \
|
||||||
|
opreport -l $(<)
|
||||||
|
|
||||||
.PHONY: clean
|
.PHONY: clean
|
||||||
clean:
|
clean:
|
||||||
@echo "removing build"
|
@echo "removing build"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user