tree 44d13cceb4f4a46d61e44c4112cc1372c6cae10c
parent 34ef027d78fd8a6d75f7db4df6080adb8c24ccda
author mrg <mrg@ucsc.edu> 1636407822 -0800
committer mrg <mrg@ucsc.edu> 1636407822 -0800

Allow SHARED_PDKS_PATH to be set externally.