diff options
author | Julian Picht <julian.picht@gmail.com> | 2016-12-26 23:47:12 +0100 |
---|---|---|
committer | Julian Picht <julian.picht@gmail.com> | 2016-12-27 01:11:10 +0100 |
commit | 8688f251051fd0e12453f513b248f1c3e4f4dc7b (patch) | |
tree | ae38935445469012d9d227518103cd91bd6d04cf /tools/disambiguate/Makefile | |
parent | fc193f834b55a37357796446579068722354e071 (diff) | |
download | libsurvive-8688f251051fd0e12453f513b248f1c3e4f4dc7b.tar.gz libsurvive-8688f251051fd0e12453f513b248f1c3e4f4dc7b.tar.bz2 |
try to document disambiguator
Diffstat (limited to 'tools/disambiguate/Makefile')
-rw-r--r-- | tools/disambiguate/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |