diff options
| author | Yiannis Tsiouris <[email protected]> | 2013-01-22 18:16:33 +0200 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2015-11-17 14:45:45 +0100 |
| commit | eebdde01b149ea45966c7412bc2a062136457b54 (patch) | |
| tree | a2d73dbb183d1ffc4a02992fb38b527538568f76 /configure.in | |
| parent | 277e8e77384ed6628009243e63d62f0555d10c69 (diff) | |
| download | otp-eebdde01b149ea45966c7412bc2a062136457b54.tar.gz otp-eebdde01b149ea45966c7412bc2a062136457b54.tar.bz2 otp-eebdde01b149ea45966c7412bc2a062136457b54.zip | |
Add --enable-sharing-preserving configure flag
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.in b/configure.in index e8c8680e19..51728a847e 100644 --- a/configure.in +++ b/configure.in @@ -278,6 +278,10 @@ AC_ARG_ENABLE(builtin-zlib, AS_HELP_STRING([--enable-builtin-zlib], [force use of our own built-in zlib])) +AC_ARG_ENABLE(sharing-preserving, +AS_HELP_STRING([--enable-sharing-preserving], + [enable copying of terms without destroying sharing])) + dnl This functionality has been lost along the way... :( dnl It could perhaps be nice to reintroduce some day; therefore, dnl it is not removed just commented out. |