wok-current diff mate/receipt @ rev 21835

updated re2c (0.13.5 -> 1.2.1)
author: Hans-G?nter Theisgen
date: Sat Sep 14 10:21:53 2019 +0100 (2019-09-14)
parents: c47175d00df6
children: 73f36875e5a7
     1.1 --- a/mate/receipt	Sun Feb 26 15:58:33 2017 +0100
     1.2 +++ b/mate/receipt	Sat Sep 14 10:21:53 2019 +0100
     1.3 @@ -38,6 +38,7 @@
     1.4  	root=$1
     1.5  	res=$(cat $root/etc/slim.conf | grep ^session | sed s/"sessions. *"//)
     1.6  	if ! echo "$res" | grep -q $PACKAGE; then
     1.7 +		echo
     1.8  		echo -n "Adding $PACKAGE to /etc/slim.conf..."
     1.9  		sed -i "s/^sessions.*/sessions            ${res},$PACKAGE/" $root/etc/slim.conf
    1.10  		status