Я не думаю, что это решение вашей проблемы, но чтобы ответить на вопрос, как указано:
Есть несколько способов установить параметры по умолчанию для make:
Использование псевдоним оболочки, напримерalias make='make --foo=bar'
в ~/.bashrc или аналогичный. Установка переменной среды MAKEFLAGS для включения параметров по умолчанию. Используя переменную среды MAKEFLAGS, чтобы добавить параметр по умолчанию -e (--environment-overrides), и определите другие переменные, относящиеся к файлам make в ~/.bashrc, которые будут подхвачены make, приоритет над определениями в Makefile При каждом из этих методов затрагиваются все применения make, что на самом деле не так, как вы хотите.
Лучшее решение, похоже, не должно меняться по умолчанию опции make, но использовать отдельный псевдоним для запуска в интерактивном режиме. Псевдоним может устанавливать параметры для рекурсивных вызовов make.
alias cs50make='make --foo=bar'
или
alias cs50make='MAKEFLAGS="..." make'
или даже
alias cs50make='MAKEFLAGS="-e ..." VAR1="..." VAR2="..." make'
[ ! d13]
Относительно того, что make останавливается на ошибках: обычно это нужно делать по умолчанию, но если он где-то установлен, чтобы не останавливаться, вы можете использовать опцию -S (--no-keep-going, [ f20]) для переопределения.