Pramod Kumbhar 18334edf1a Bug fix: PDT configure uses -prefix, not --prefix (#2976) ... * This bug was introduced in #2845.		2017-02-18 15:45:47 -06:00
..
spack	Bug fix: PDT configure uses -prefix, not --prefix (#2976)	2017-02-18 15:45:47 -06:00