diff options
| author | ꦌꦫꦶꦏ꧀ꦦꦿꦧꦮꦑꦩꦭ꧀ <erik@darapsa.co.id> | 2023-05-22 14:40:50 +0800 |
|---|---|---|
| committer | ꦌꦫꦶꦏ꧀ꦦꦿꦧꦮꦑꦩꦭ꧀ <erik@darapsa.co.id> | 2023-05-22 14:40:50 +0800 |
| commit | ec05878378bf14ad85aa07a9762ea00b99bc672f (patch) | |
| tree | c5e54a05ad775d1579bc8b5604c5c7156754da3a /aarch64-unknown-linux-gnu-configure | |
| parent | a091012bc03a43a3d62dc35769889d4a6fd8517d (diff) | |
Add check_opt when there's any option
Diffstat (limited to 'aarch64-unknown-linux-gnu-configure')
0 files changed, 0 insertions, 0 deletions