wok diff kexec-tools/receipt @ rev 22036

updated tiptop (2.2 -> 2.3.1)
author: Hans-G?nter Theisgen
date: Mon Oct 21 15:30:09 2019 +0100 (2019-10-21)
parents: 543e0fa614bc
children: 71360a13cd94
     1.1 --- a/kexec-tools/receipt	Sun Aug 05 21:16:06 2018 +0200
     1.2 +++ b/kexec-tools/receipt	Mon Oct 21 15:30:09 2019 +0100
     1.3 @@ -21,6 +21,8 @@
     1.4  	case "$ARCH" in
     1.5  	i?86)
     1.6  		./configure prefix=/usr \
     1.7 +			--build=$BUILD_SYSTEM \
     1.8 +			--host=$HOST_SYSTEM \
     1.9  			--target=i386-linux ;;
    1.10  	*)
    1.11  		./configure prefix=/usr \