mirror of
git://git.sv.gnu.org/autoconf
synced 2025-01-30 11:01:45 +08:00
ae2c1ff1f7
Don't create the source file if none is given, and in this case, don't remove it either. |
||
---|---|---|
.. | ||
autoconf | ||
autoscan | ||
autotest |