Skip to content
  • mevenson@1c010e3e-69d0-11dd-93a8-456734b0d56f's avatar
    Fixes #243: MAKE-PATHNAME with a DEVICE string. · bc1c43bd
    We allow DEVICE lists to contain a string value as constructed by
    MAKE-PATHNAME, but the result can never actually be resolvable by
    TRUENAME.
    
    Instead of trying to figure out the proper use of Java labels, just
    use the private static Pathname.doTruenameExit() as the common point
    for all exits from the TRUENAME implementation.
    bc1c43bd