diff options
Diffstat (limited to 'pvs-studio.install')
-rw-r--r-- | pvs-studio.install | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/pvs-studio.install b/pvs-studio.install new file mode 100644 index 000000000000..94d424006eb2 --- /dev/null +++ b/pvs-studio.install @@ -0,0 +1,15 @@ +post_install() { + if [ $(uname -m) == i686 ] && [ ! -f /proc/sys/fs/binfmt_misc/pvs-studio ]; then + cat /usr/lib/binfmt.d/pvs-studio.conf > /proc/sys/fs/binfmt_misc/register + fi +} + +post_upgrade() { + post_install +} + +post_remove() { + if [ -f /proc/sys/fs/binfmt_misc/pvs-studio ]; then + echo -1 > /proc/sys/fs/binfmt_misc/pvs-studio + fi +} |