5b97b46 Use $rtkdestdir with alternate rtkaio libs.

Authored and Committed by codonell 7 years ago
1 file changed. 1 lines added. 1 lines removed.
    Use $rtkdestdir with alternate rtkaio libs.
    
    Fix typo.
    
        
file modified
+1 -1