Produkcja kresek, numer w nawiasach

Question

Jakie jest znaczenie liczby w nawiasach kwadratowych w wynikach kreacji?

make[7]: Leaving directory '/home/mike/...' 
make[6]: Leaving directory '/home/mike/...' 
make[6]: Entering directory '/home/mike/...' 

Czy jest wielowątkowy i jest to numer nici, czy jest to poziom przejścia pliku Makefile, lub co dokładnie? Jest większa liczba na moich dużych projektach, ale na moich osobistych (z kilkoma plikami źródłowymi) zwykle jest to make[1], więc zakładam, że ma to związek ze złożonością.

Nie mogę znaleźć tego w dokumentacji.

Answer 1

Make ma możliwość wywoływania w obrębie siebie innych plików Makefile. Liczba w nawiasach to liczba plików Makefile wywoływanych z pliku głównego makefile.