diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 13:10:37 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:39:05 -0700 |
| commit | f56decd00234ab37bb5101cc465c98e41de19ce9 (patch) | |
| tree | bd670f3819cbe6107305bd1465a650fc22c8cd30 /configure | |
| parent | e87af572ba53b77637fae93ed9b25b3c315f5251 (diff) | |
| download | klee-f56decd00234ab37bb5101cc465c98e41de19ce9.tar.gz | |
Revert "Patch by Dan Liew: "Improved AutoRegen script so that it supports newer versions of autoconf""
The entire point of this version check in this script is so that configure is only generated with one exact version of autotools, so that it doesn't get spurious diffs from people generating it with different versions. This is the approach used by LLVM, and I'd like to stick to it. Most people don't regenerate these files, so it falls on the people who do to install the appropriate versions of the tools. If we want to change this policy, we should just drop the version checks completely.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions