From da923568ad5085654b8db034310c4db50848e16e Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 8 Apr 2020 15:45:05 +0200
Subject: library support for writing profiling information to files

---
 runtime/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'runtime/Makefile')

diff --git a/runtime/Makefile b/runtime/Makefile
index 3b1cabc4..c9883577 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -38,6 +38,8 @@ OBJS=i64_dtos.o i64_dtou.o i64_sar.o i64_sdiv.o i64_shl.o \
   vararg.o
 endif
 
+OBJS+=write_profiling_table.o
+
 LIB=libcompcert.a
 
 INCLUDES=include/float.h include/stdarg.h include/stdbool.h \
-- 
cgit