undo the PREFIX=/usr thing that is not needed after all
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 24 May 2013 09:42:29 +0000 (11:42 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 24 May 2013 09:42:29 +0000 (11:42 +0200)
commitdb1de27af0846d2a045fed49cadda383fef8c0d9
tree33d8f22fc8bd2218409c85c30e6a4c1d927bd73a
parentde450b59076fc12f01c4d4f54ba64d14181cd5f8
undo the PREFIX=/usr thing that is not needed after all
Makefile