Я делаю следующее внутри файла make
pushd %dir_name%
и я получаю следующую ошибку:
/bin/sh : pushd : not found
Может кто-нибудь скажет мне, почему эта ошибка появляется? Я проверил свою переменную $PATH, и она содержит /bin, поэтому я не думаю, что это вызывает проблему.