Update make_paths.sh
jelt authored
Added a $GITCLONE dir. Clearly this needs a better pathname than BoBEAS
eead54e7