diff --git a/Circular_kernel_2/Benchmarks/makefile b/Circular_kernel_2/Benchmarks/makefile index 8196612419a..63d52affd37 100644 --- a/Circular_kernel_2/Benchmarks/makefile +++ b/Circular_kernel_2/Benchmarks/makefile @@ -26,6 +26,7 @@ include $(CGAL_MAKEFILE) CXXFLAGS = \ -DNDEBUG \ -O2 \ + -I../include \ $(TESTSUITE_CXXFLAGS) \ $(EXTRA_FLAGS) \ $(CGAL_CXXFLAGS) \