pun_path_prefix   253 src/dps8/dps8_crdpun.c static char pun_path_prefix[PATH_MAX-63];   // The -63 is to leave room for file name
pun_path_prefix   263 src/dps8/dps8_crdpun.c     (void)memset (pun_path_prefix, 0, sizeof (pun_path_prefix));
pun_path_prefix   615 src/dps8/dps8_crdpun.c     if (pun_path_prefix [0])
pun_path_prefix   618 src/dps8/dps8_crdpun.c                        pun_path_prefix, state -> device_name,
pun_path_prefix  1308 src/dps8/dps8_crdpun.c     if (len >= (sizeof(pun_path_prefix) - 2))
pun_path_prefix  1311 src/dps8/dps8_crdpun.c     strncpy(pun_path_prefix, cptr, sizeof(pun_path_prefix) - 1);
pun_path_prefix  1314 src/dps8/dps8_crdpun.c         if (pun_path_prefix[len - 1] != '/')
pun_path_prefix  1316 src/dps8/dps8_crdpun.c             pun_path_prefix[len++] = '/';
pun_path_prefix  1317 src/dps8/dps8_crdpun.c             pun_path_prefix[len] = 0;
pun_path_prefix  1326 src/dps8/dps8_crdpun.c     if (pun_path_prefix [0])
pun_path_prefix  1328 src/dps8/dps8_crdpun.c         sim_printf("\rPath to card punch directories is \"%s\".\r\n", pun_path_prefix);