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/queue.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/queue.c')
0 files changed, 0 insertions, 0 deletions