diff options
| author | Marvin W <git@larma.de> | 2021-01-18 19:01:30 +0100 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2021-01-18 19:01:30 +0100 |
| commit | f2662b21c194e40d31d5ffc6d9e826a439526e6c (patch) | |
| tree | 08c3eb3e9447d5b30e93378f4aea96785497994a /main/src | |
| parent | e4b2f0c04979bf3075e2545fa950af9b76787279 (diff) | |
| download | dino-f2662b21c194e40d31d5ffc6d9e826a439526e6c.tar.gz dino-f2662b21c194e40d31d5ffc6d9e826a439526e6c.zip | |
Ignore unrecognized options in ./configure
This is so that systems that except configure to be autoconf don't complain.
Diffstat (limited to 'main/src')
0 files changed, 0 insertions, 0 deletions