diff options
author | Julian Picht <julian.picht@gmail.com> | 2016-12-20 19:50:49 +0100 |
---|---|---|
committer | Julian Picht <julian.picht@gmail.com> | 2016-12-20 19:50:49 +0100 |
commit | 1de8438b569e798a78d5f7dbea335539ebf68620 (patch) | |
tree | fe5beb977be07d8d54676eb4b71eaf40bdc245ef /tools/disambiguate/Makefile | |
parent | 0fb1ec7b12f5c0dbe8e82d7d029e900751fc6c6a (diff) | |
download | libsurvive-1de8438b569e798a78d5f7dbea335539ebf68620.tar.gz libsurvive-1de8438b569e798a78d5f7dbea335539ebf68620.tar.bz2 |
pulse level debug version
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 dd5a42b..e719469 100644 --- a/tools/disambiguate/Makefile +++ b/tools/disambiguate/Makefile @@ -1,5 +1,5 @@ disambiguate: disambiguate.c - gcc -g -o $@ $^ -lm + gcc -Wall -Wextra -Werror -g -o $@ $^ -lm test: disambiguate ./disambiguate | head -n 100 |