diff options
Diffstat (limited to 'config/linux')
-rw-r--r-- | config/linux | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config/linux b/config/linux new file mode 100644 index 0000000..4a7778e --- /dev/null +++ b/config/linux @@ -0,0 +1,8 @@ +# Site configuration -- do not distribute this file. + +if test "x$CFLAGS" = "x"; then + CFLAGS="-g -Wall -Wshadow -Wpointer-arith -Wcast-qual -Wwrite-strings \ + -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations \ + -Wnested-externs" +fi + |