1 9c836066 2024-04-07 benni CONFIG != if test -f "${TOP}/config.mk.local"; then echo 'local'; else uname; fi 2 9c836066 2024-04-07 benni 3 9c836066 2024-04-07 benni 4 9c836066 2024-04-07 benni include ${TOP}/config.mk.${CONFIG}