This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Mach".
The branch, master has been updated
via d80a4d8734a6598daf449835d1aa7de09c986250 (commit)
from cfaf1849ecbdfb0bdf0fc7312271d25bb32ba38d (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit d80a4d8734a6598daf449835d1aa7de09c986250
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Tue Feb 9 18:51:15 2021 +0100
Default MIG to mig when not found.
bash: no: command not found
seems to be confusing for users. Revert to setting back to mig, but
after printing the warning.
* configure.ac (MIG): Default to mig when not found.
-----------------------------------------------------------------------
Summary of changes:
configure.ac | 1 +
1 file changed, 1 insertion(+)
hooks/post-receive
--
GNU Mach
