diff options
| author | Tom Lane | 2006-11-30 22:21:24 +0000 |
|---|---|---|
| committer | Tom Lane | 2006-11-30 22:21:24 +0000 |
| commit | 746330e2d072abcf28d36b29c41aecbe8e6d21ec (patch) | |
| tree | eba3508082db1b420218de36d405b4d9f771bc34 /configure | |
| parent | 7ac9d45f49caaddc56d1aeb5038fddfb53ce86ac (diff) | |
Better solution to the tr problem: use sed instead. Per Martijn and Andrew.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index 41df0f7b3cc..777695c5549 100755 --- a/configure +++ b/configure @@ -24413,7 +24413,7 @@ for pgac_var in `set | sed 's/=.*//' | $EGREP 'with_|enable_'`; do continue 2 fi done - pgac_txt=`echo $pgac_var | tr 'a_b' 'a-b'` + pgac_txt=`echo $pgac_var | sed 's/_/-/g'` { echo "$as_me:$LINENO: WARNING: option ignored: --$pgac_txt" >&5 echo "$as_me: WARNING: option ignored: --$pgac_txt" >&2;} done |
