diff options
Diffstat (limited to 'tools/gcc-plugins/debian/rules')
| -rwxr-xr-x | tools/gcc-plugins/debian/rules | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/gcc-plugins/debian/rules b/tools/gcc-plugins/debian/rules new file mode 100755 index 0000000..f8f42ad --- /dev/null +++ b/tools/gcc-plugins/debian/rules @@ -0,0 +1,11 @@ +#!/usr/bin/make -f + +# standard Debian options & profiles + +export DEB_BUILD_MAINT_OPTIONS = hardening=+all + +%: + dh $@ + +override_dh_auto_test: + true |