diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2021-08-26 22:01:10 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2021-08-26 22:01:10 +0300 |
commit | 340b2837d42b956dbf9d34f9a66c674bb62ca377 (patch) | |
tree | 5ff147390f457eebc06628bcca06cb6d7c59d0c9 /configure | |
parent | 251db3795ba7dc4054c2df486c0e0e91e0b28f58 (diff) | |
parent | 585a9456283db7169ea53a328824e55deb998d8f (diff) | |
download | egawk-340b2837d42b956dbf9d34f9a66c674bb62ca377.tar.gz egawk-340b2837d42b956dbf9d34f9a66c674bb62ca377.tar.bz2 egawk-340b2837d42b956dbf9d34f9a66c674bb62ca377.zip |
Merge branch 'gawk-5.1-stable'
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -5677,6 +5677,9 @@ unknown) esac +AR_FLAGS = cru # set default + + # This is mainly for my use during testing and development. # Yes, it's a bit of a hack. { $as_echo "$as_me:${as_lineno-$LINENO}: checking for special development options" >&5 |