options: move --print-stats to library
commited7bd24980032519250d601d68a798730127b7c2
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 8 Nov 2007 09:45:35 +0000 (8 10:45 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 8 Nov 2007 13:29:32 +0000 (8 14:29 +0100)
tree5745a104c4614b55b7b23f43038643ae01250c9f
parent8fa39ace650401ceaaf507e4b529ee30ad527828
options: move --print-stats to library
barvinok/options.h
barvinok_count.c
barvinok_enumerate.cc
barvinok_enumerate_e.cc
options.c