diff options
author | Roland McGrath <roland@gnu.org> | 1993-08-20 22:04:05 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1993-08-20 22:04:05 +0000 |
commit | 9ce7e4ad926c2b871a5b746543f039b00048e68f (patch) | |
tree | 10e30340a82faf883c01d2f74322554c96262d85 /configure.in | |
parent | a481db835d97c9fbf8087ed4c25f8a489ca8116a (diff) |
Formerly ../configure.in.~34~
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 715c25289c..a9888685ce 100644 --- a/configure.in +++ b/configure.in @@ -42,6 +42,7 @@ prefix= exec_prefix= verbose= +next= lose= for arg in $*; do if [ x$next != x ]; then |