Мало ли что где полно по Тьюрингу, это совершенно бесполезное свойство.

Шел, например, не умеет отслеживать зависимости ибо он не DSL для сборки, а кодить на нём сложную логику напряжно. make в принципе запускает компилятор сам ибо дизайнился как около декларативный DSL именно для сборки, но из-за этого на нём невозможно не через задницу накодить императивную логику без шела.

В конце концов make, как DSL для сборки, оказался куском гогна совершенно не удовлетворяющим требованиям по сборке больших проектов. Как только люди не извращались с make сценариями чтобы научить их складывать промежуточные продукты (~объектники) в сторонке от кода, собирать код условно и делать кеш зависимым от сборочного окружения (например, отличать дебажную сборку от релизной). Из-за этого появились генераторы make сценариев с накостыливаем логики на баше.

Ясное дело, что генераторы make сценариев являются промежуточным этапом развития систем сборок и во многих местах уже существуют полноценные сборочные DSL инструменты без make. Пройдёт ещё с десяток лет и все cmake подобные инструменты останутся в истории, как и сам make. Десяток лет нужен на допилку закрытых прототипов и выкидывание их в СПО.