diff options
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 e719469..8e8661c 100644 --- a/tools/disambiguate/Makefile +++ b/tools/disambiguate/Makefile @@ -1,4 +1,4 @@ -disambiguate: disambiguate.c +disambiguate: disambiguate.c ../../src/disambiguator.c gcc -Wall -Wextra -Werror -g -o $@ $^ -lm test: disambiguate |