diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 15:57:48 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 15:57:48 +0100 |
| commit | e6890cc9d54dde37921e263daac03e1d9b8eee1e (patch) | |
| tree | e5f5b4bce85ada7ba82646a5437f39c3976cc37e /test/monniaux/ncompress/compress42.c | |
| parent | 1817a0c73f6aef9e69f7105ad19ca78ad6cbffd9 (diff) | |
| download | compcert-kvx-e6890cc9d54dde37921e263daac03e1d9b8eee1e.tar.gz compcert-kvx-e6890cc9d54dde37921e263daac03e1d9b8eee1e.zip | |
better Makefile and printouts
Diffstat (limited to 'test/monniaux/ncompress/compress42.c')
| -rw-r--r-- | test/monniaux/ncompress/compress42.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/monniaux/ncompress/compress42.c b/test/monniaux/ncompress/compress42.c index a5b394b9..681dbbff 100644 --- a/test/monniaux/ncompress/compress42.c +++ b/test/monniaux/ncompress/compress42.c @@ -133,6 +133,7 @@ /* FIXME DMonniaux */ #define INT_MOD(x, y) ((long) (x) % (y)) +#include "../clock.h" #ifdef _MSC_VER # define WINDOWS @@ -712,6 +713,8 @@ main(argc, argv) REG1 int argc; REG2 char *argv[]; { + clock_prepare(); + clock_start(); REG3 char **filelist; REG4 char **fileptr; int seen_double_dash = 0; @@ -887,6 +890,8 @@ nextarg: continue; else decompress(0, 1); } + clock_stop(); + printerr_total_clock(); exit((exit_code== -1) ? 1:exit_code); } |