diff options
Diffstat (limited to 'tools/disambiguate/Makefile')
| -rw-r--r-- | tools/disambiguate/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/disambiguate/Makefile b/tools/disambiguate/Makefile index 8e8661c..b06f50d 100644 --- a/tools/disambiguate/Makefile +++ b/tools/disambiguate/Makefile @@ -3,3 +3,9 @@ disambiguate: disambiguate.c ../../src/disambiguator.c test: disambiguate ./disambiguate | head -n 100 + +disambiguate2: disambiguate2.c + gcc -Wall -Wextra -Werror -g -o $@ $^ + +test2: disambiguate2 + ./disambiguate2 | head -n 100 |