Searched refs:new_top_distdir (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in510 new_top_distdir=$$reldir; \
511 echo " (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) top_distdir="$$new_top_distdir" distdir="$$new_distdir" \\"; \
515 top_distdir="$$new_top_distdir" \
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in871 new_top_distdir=$$reldir; \
872 echo " (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) top_distdir="$$new_top_distdir" distdir="$$new_distdir" \\"; \
876 top_distdir="$$new_top_distdir" \

Completed in 38 milliseconds