diff options
Diffstat (limited to 'libre/libretools/libretools.install')
-rw-r--r-- | libre/libretools/libretools.install | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libre/libretools/libretools.install b/libre/libretools/libretools.install index 06be95f24..260b8587a 100644 --- a/libre/libretools/libretools.install +++ b/libre/libretools/libretools.install @@ -8,6 +8,10 @@ post_install() { ## arg 1: the new package version ## arg 2: the old package version post_upgrade() { + if [[ "$(vercmp 20160609 "$2")" -eq 1 ]]; then + echo ":: To keep using old chroots, you may need to manually run" + echo " systemd-machine-id-setup --root=/path/to/chroot" + fi librefetch-install install etc/makepkg.conf } |