Searched refs:PATCHLEVEL (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dpatchlevel.h9 * PATCHLEVEL is updated for each release.
11 #define PATCHLEVEL 3 macro
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dpatchlevel.h9 * PATCHLEVEL is updated for each release.
11 #define PATCHLEVEL 3 macro
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dversion.c188 return FEATURE_NOTICE_VER(VERSION_MAJOR,VERSION_MINOR,PATCHLEVEL);
H A Dtopten.c298 t0->patchlevel = PATCHLEVEL;
709 t1->patchlevel != PATCHLEVEL))
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dversion.c188 return FEATURE_NOTICE_VER(VERSION_MAJOR,VERSION_MINOR,PATCHLEVEL);
H A Dtopten.c298 t0->patchlevel = PATCHLEVEL;
709 t1->patchlevel != PATCHLEVEL))
/seL4-refos-master/projects/refos/impl/
H A DMakefile14 PATCHLEVEL = 0 macro
/seL4-refos-master/
H A DMakefile14 PATCHLEVEL = 0 macro

Completed in 51 milliseconds