wok diff reptyr/receipt @ rev 22950

updated inotify-tools again (3.14 -> 3.20.2.2)
author: Hans-G?nter Theisgen
date: Fri Feb 28 14:33:03 2020 +0100 (2020-02-28)
parents: 432dd31a79d5
children: 5ea0ce1cecc0
     1.1 --- a/reptyr/receipt	Wed Oct 02 17:23:06 2019 +0200
     1.2 +++ b/reptyr/receipt	Fri Feb 28 14:33:03 2020 +0100
     1.3 @@ -17,6 +17,8 @@
     1.4  compile_rules()
     1.5  {
     1.6  	sed -i 's|/usr/local|/usr|' Makefile
     1.7 +	sed -i 's|PTRACE_GETREGSET|0x4204|;s|PTRACE_SETREGSET|0x4205|' \
     1.8 +		platform/linux/linux_ptrace.c
     1.9  	make &&
    1.10  	make DESTDIR=$DESTDIR install
    1.11  }