The makefile will not compile anymore if it is not needed.
Allow to stop the search loop.