diff options
Diffstat (limited to 'gnu/usr.bin/cc/cc_tools/freebsd.opt')
| -rw-r--r-- | gnu/usr.bin/cc/cc_tools/freebsd.opt | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gnu/usr.bin/cc/cc_tools/freebsd.opt b/gnu/usr.bin/cc/cc_tools/freebsd.opt deleted file mode 100644 index f71a5058b9ec..000000000000 --- a/gnu/usr.bin/cc/cc_tools/freebsd.opt +++ /dev/null @@ -1,6 +0,0 @@ -; $FreeBSD$ - -fformat-extensions -Common Report Var(flag_format_extensions) Init(0) -Allow FreeBSD kernel-specific printf format specifiers. - |