diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-02-09 18:51:15 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-02-09 18:52:36 +0100 |
| commit | d80a4d8734a6598daf449835d1aa7de09c986250 (patch) | |
| tree | d4adb2446f0f10edf5244ce49ae71f546fcee68e /kern/exception.c | |
| parent | cfaf1849ecbdfb0bdf0fc7312271d25bb32ba38d (diff) | |
| download | gnumach-d80a4d8734a6598daf449835d1aa7de09c986250.tar.gz gnumach-d80a4d8734a6598daf449835d1aa7de09c986250.tar.bz2 gnumach-d80a4d8734a6598daf449835d1aa7de09c986250.zip | |
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.
Diffstat (limited to 'kern/exception.c')
0 files changed, 0 insertions, 0 deletions