From 8688f251051fd0e12453f513b248f1c3e4f4dc7b Mon Sep 17 00:00:00 2001 From: Julian Picht Date: Mon, 26 Dec 2016 23:47:12 +0100 Subject: try to document disambiguator --- tools/disambiguate/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/disambiguate/Makefile') diff --git a/tools/disambiguate/Makefile b/tools/disambiguate/Makefile index b06f50d..ef4e84c 100644 --- a/tools/disambiguate/Makefile +++ b/tools/disambiguate/Makefile @@ -1,5 +1,5 @@ disambiguate: disambiguate.c ../../src/disambiguator.c - gcc -Wall -Wextra -Werror -g -o $@ $^ -lm + gcc -I../../src -Wall -Wextra -Werror -g -o $@ $^ -lm test: disambiguate ./disambiguate | head -n 100 -- cgit v1.2.3