tree d85c2331dd766f373b9e901258215715ca4df7b7
parent 7871abf7efb370676ff83c759fdf29e0db726949
author Jon Ringle <jringle@gridpoint.com> 1510726922 -0500
committer Lev Walkin <vlm@lionet.info> 1510980842 -0800

Add '-D destdir' option for generated files