diff options
author | CNLohr <charles@cnlohr.com> | 2016-12-19 23:06:40 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-19 23:06:40 -0500 |
commit | 689ab79972b969f6eff4adcfca71fec567006e93 (patch) | |
tree | 8990cfd9bdfd4c9f7b3043636f26659d96b11c84 /tools/disambiguate/Makefile | |
parent | fd03e41bb541807ca441f77d36f2898c0ef01045 (diff) | |
parent | ac7e398c5d81efda7c5427ca9ca19b44cc945b22 (diff) | |
download | libsurvive-689ab79972b969f6eff4adcfca71fec567006e93.tar.gz libsurvive-689ab79972b969f6eff4adcfca71fec567006e93.tar.bz2 |
Merge pull request #9 from jpicht/disambiguate
Disambiguate
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 |