fix in DESTDIR

This commit is contained in:
Vítor Santos Costa
2013-11-04 07:26:16 +00:00
parent 48d51e460a
commit a069d8b5f6