Re: [Cocci] make install broken

2017-10-12 Thread Michael Stefaniuc
On 10/12/2017 05:47 PM, SF Markus Elfring wrote: >> Yes, but spatch should have resolved the symlink. Anyway, I changed >> the code to use realpath, which should be more reliable (the code >> before only resolved symlinks on the executable file, without >> considering parent directories). >> >> Sor

Re: [Cocci] make install broken

2017-10-12 Thread Michael Stefaniuc
Thanks Thierry, On 10/12/2017 01:43 AM, Thierry Martinez wrote: > Michael: >> A quick search finds libproc.h on github but that has an Apple copyright >> in it. It's basically this one: >> https://opensource.apple.com/source/xnu/xnu-2422.1.72/libsyscall/wrappers/libproc/libproc.h.auto.html > > Oo

Re: [Cocci] make install broken

2017-10-12 Thread SF Markus Elfring
> Yes, but spatch should have resolved the symlink. Anyway, I changed > the code to use realpath, which should be more reliable (the code > before only resolved symlinks on the executable file, without > considering parent directories). > > Sorry for the wrong commit! Is this software development

[Cocci] Checking for consistency of the version data by the software build system

2017-10-12 Thread SF Markus Elfring
Hello, The following command was executed on my test system again. elfring@Sonne:~/Projekte/Coccinelle/20160205> make distclean && git checkout master && git pull && ./autogen && ./configure && echo "$(./version.sh)" && grep VERSION=1 Makefile.config … 1.0.6-00335-g6e5973d4 VERSION=1.0.6-00318-