deb pkg: override rules with make version
authorMohamed Larabi <mohamed.larabi@inria.fr>
Tue, 14 Jan 2014 14:07:01 +0000 (15:07 +0100)
committerMohamed Larabi <mohamed.larabi@inria.fr>
Tue, 14 Jan 2014 14:07:01 +0000 (15:07 +0100)
commit2b04885035ea2974ee462fe6a158a3a26f7f2186
treed278931f7fe6e7de8cc9da3ac29057b82db33858
parent91e055886f0ca9905fbf7b7428111adc16888bb0
deb pkg: override rules with make version
debian/rules