projects
/
gnushogi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
Ensure the player names are refreshed after a switch (impacts Curses mode).
[gnushogi.git]
/
README.maint
diff --git
a/README.maint
b/README.maint
index
c806085
..
7d69bb6
100644
(file)
--- a/
README.maint
+++ b/
README.maint
@@
-5,3
+5,8
@@
Updating ChangeLog
------------------
git log --pretty --numstat --summary v1.4.0..savannah/master | git2cl > ChangeLog
+
+Profiling
+---------
+
+Build with "-g -pg -fprofile-arcs -ftest-coverage"