#15394: acl2-3.2 uses now-invalid cd command -------------------------------+-------------------------------------------- Reporter: blb@macports.org | Owner: gwright@macports.org Type: defect | Status: closed Priority: High | Milestone: Port Bugs Component: ports | Version: 1.6.0 Resolution: fixed | Keywords: port bug cd Port: acl2 | -------------------------------+-------------------------------------------- Comment(by blb@macports.org): Missed one part, fixed in r41098 (caught by dbueno at gmail.com in #16967). -- Ticket URL: <http://trac.macports.org/ticket/15394#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS