2016-07-02 18:50:46 +02:00
|
|
|
Index: Makefile.com
|
2011-09-14 14:57:29 +02:00
|
|
|
===================================================================
|
2016-07-02 18:50:46 +02:00
|
|
|
--- Makefile.com.orig
|
|
|
|
+++ Makefile.com
|
2011-09-14 14:57:29 +02:00
|
|
|
@@ -107,7 +107,7 @@ tattle: ../tattle.c libmicro.a
|
2016-07-02 18:50:46 +02:00
|
|
|
echo "char compiler_version[] = \""`$(COMPILER_VERSION_CMD)`"\";" > tattle.h
|
|
|
|
echo "char CC[] = \""$(CC)"\";" >> tattle.h
|
|
|
|
echo "char extra_compiler_flags[] = \""$(extra_CFLAGS)"\";" >> tattle.h
|
2011-09-14 14:57:29 +02:00
|
|
|
- $(CC) -o tattle $(CFLAGS) -I. ../tattle.c libmicro.a -lrt -lm
|
|
|
|
+ $(CC) -o tattle $(CFLAGS) -I. ../tattle.c libmicro.a -lrt -lm -lpthread
|
|
|
|
|
|
|
|
$(ELIDED_BENCHMARKS): ../elided.c
|
|
|
|
$(CC) -o $(@) ../elided.c
|