#!/bin/sh
set -e
if [ remove = "$1" ]; then
       dpkg-divert --package libunwind-setjmp0 --remove --rename --divert /usr/lib/x86_64-linux-gnu/libunwind-setjmp.so.0.0.0.old /usr/lib/x86_64-linux-gnu/libunwind-setjmp.so.0.0.0
       dpkg-divert --package libunwind-setjmp0 --remove --rename --divert /usr/lib/x86_64-linux-gnu/libunwind-setjmp.so.0.old /usr/lib/x86_64-linux-gnu/libunwind-setjmp.so.0
fi