diff --git a/gnu/dist/Makefile b/gnu/dist/Makefile index 8c83ba84e..3646a1a4c 100644 --- a/gnu/dist/Makefile +++ b/gnu/dist/Makefile @@ -8,7 +8,11 @@ MODULE= texinfo .include "${.CURDIR}/../../tools/Makefile.gnuhost" # Force the mapping to standard targets even when not building tools +# We considere work to be done as soon as the fetch step is done, +# as everything else has to be triggered from /tools or ../usr.bin + .if ${USETOOLS} != "yes" -realall: .build_done -realinstall: .install_done +realall realinstall: ${GNUHOSTDIST:H}/.gitignore + .endif +