; build_pdb
;
;used to build the static list of the PDB files

set awk = ("| awk 'BEGIN {ORS=" // '","' // "} {print $0}'")
sh ("ls -C1 PDB"; $awk; " > tmp")
open tmp  set list_pdb := <tmp
close tmp sh "rm -f tmp"

exit


