diff options
Diffstat (limited to 'benchtests/Makefile')
| -rw-r--r-- | benchtests/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/benchtests/Makefile b/benchtests/Makefile index fbcee1328b..dc9ee043d6 100644 --- a/benchtests/Makefile +++ b/benchtests/Makefile @@ -131,6 +131,8 @@ bench-func: $(binaries-bench) mv -f $(objpfx)bench.out $(objpfx)bench.out.old; \ fi; \ mv -f $(objpfx)bench.out-tmp $(objpfx)bench.out + scripts/validate_benchout.py $(objpfx)bench.out \ + scripts/benchout.schema.json $(timing-type) $(binaries-bench) $(binaries-benchset): %: %.o $(objpfx)json-lib.o \ $(sort $(filter $(common-objpfx)lib%,$(link-libc))) \ |