Index: Makefile.com =================================================================== --- Makefile.com.orig +++ Makefile.com @@ -107,7 +107,7 @@ tattle: ../tattle.c libmicro.a echo "char compiler_version[] = \""`$(COMPILER_VERSION_CMD)`"\";" > tattle.h echo "char CC[] = \""$(CC)"\";" >> tattle.h echo "char extra_compiler_flags[] = \""$(extra_CFLAGS)"\";" >> tattle.h - $(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