ignore errors when (un-)installing devel packages
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 7 Nov 2015 14:06:51 +0000 (15:06 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 7 Nov 2015 14:06:51 +0000 (15:06 +0100)
commit08e502fb6ed3aa35b1109b03dc4310538852a068
tree3054360673ae75412866fcb34fb8f9e083f6507e
parentc04f414021f6dd2a919b63d9dde9eb820747ab96
ignore errors when (un-)installing devel packages
Makefile