Searched refs:devdir (Results 1 – 3 of 3) sorted by relevance
26 devdir=$(top_builddir)/font40 test -d $(devdir)/devX$$dpi || \41 $(mkinstalldirs) $(devdir)/devX$$dpi; \42 rm -f $(devdir)/devX$$dpi/DESC; \44 >$(devdir)/devX$$dpi/DESC; \45 (cd $(devdir)/devX$$dpi; \51 test -d $(devdir)/devX$$dpi-12 || \52 $(mkinstalldirs) $(devdir)/devX$$dpi-12; \53 rm -f $(devdir)/devX$$dpi-12/DESC; \56 >$(devdir)/devX$$dpi-12/DESC; \[all …]
53 char devdir[] = "/dev/disk/"; in devparse() local59 if (strncmp(fname, devdir, strlen(devdir)) != 0) in devparse()61 p = __UNCONST(fname) + strlen(devdir); in devparse()
976 * src/devices/xditview/Makefile.sub (devdir, xtotroff, DPIS, fonts):