diff options
Diffstat (limited to 'tools/disambiguate/Makefile')
| -rw-r--r-- | tools/disambiguate/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/disambiguate/Makefile b/tools/disambiguate/Makefile new file mode 100644 index 0000000..dd5a42b --- /dev/null +++ b/tools/disambiguate/Makefile @@ -0,0 +1,5 @@ +disambiguate: disambiguate.c + gcc -g -o $@ $^ -lm + +test: disambiguate + ./disambiguate | head -n 100 |