mirror of
https://github.com/mirror/make.git
synced 2025-03-25 01:00:30 +08:00
(define_makeflags): Terminate properly when FLAGSTRING is empty.
This commit is contained in:
parent
b511712f25
commit
1a886b6359