infinisql/infinisql — pull request #10 by anatol (2013-12-02 00:57:29+00:00)
Title: install script should respect DESTDIR.

DESTDIR is used during package stage installation.

Signed-off-by: Anatol Pomozov