diff options
| author | Anthony Ramine <[email protected]> | 2014-02-07 16:59:06 +0100 |
|---|---|---|
| committer | Anthony Ramine <[email protected]> | 2014-02-07 16:59:06 +0100 |
| commit | f8723a8fe3cba291df7e087619bf4f8ee502ce52 (patch) | |
| tree | 996e42171b8e2762dd08935833788bc6b24149d5 /configure.in | |
| parent | 8d71ab498974b5f0623eac50c4f94f62fc229a94 (diff) | |
| download | otp-f8723a8fe3cba291df7e087619bf4f8ee502ce52.tar.gz otp-f8723a8fe3cba291df7e087619bf4f8ee502ce52.tar.bz2 otp-f8723a8fe3cba291df7e087619bf4f8ee502ce52.zip | |
Run sys_core_fold twice if any inliner is used
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions