diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/devmode | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/devmode b/tools/devmode new file mode 100755 index 00000000..d350e6c6 --- /dev/null +++ b/tools/devmode | |||
| @@ -0,0 +1,3 @@ | |||
| 1 | echo \# do \"eval \`$0\`\" to get pedantic compiler settings | ||
| 2 | echo | ||
| 3 | echo export CFLAGS=\"-g -O3 -pedantic -Wall -W -Wformat=2 -Wfloat-equal -Wtraditional -Wundef -Wshadow -Wpointer-arith -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wconversion -Wsign-compare -Waggregate-return -Wstrict-prototypes -Wmissing-prototypes -Wmissing-noreturn -Wmissing-format-attribute -Wnested-externs -Wunreachable-code -Winline\" | ||