Option to add tuning to amalgam profiling

libtom · Jun 16, 2024 · 54d7c32 · 54d7c32
1 parent 07792f5
commit 54d7c32
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/makefile b/makefile
@@ -131,6 +131,11 @@ cmp: profiled_single
 	./timing
 	$(MAKE) -C logs/ cmp
 
+cmptuned: profiled_single tune
+	$(CC) $(LTM_CFLAGS) -DMP_VERSION=\"after\" demo/timing.c $(LIBNAME) -lgcov -o timing
+	./timing
+	$(MAKE) -C logs/ cmp
+
 zipup:
 	$(MAKE) clean
 	$(MAKE) .zipup