DESTDIR works differently. It allows to prepend a different top-level directory, but the base directory would still be .../usr/bin
_______________________________________________ Oorexx-devel mailing list Oorexx-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/oorexx-devel
