diff options
| -rwxr-xr-x | autogen/configure | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/autogen/configure b/autogen/configure index ab58e8d1727..c3920f6b79d 100755 --- a/autogen/configure +++ b/autogen/configure | |||
| @@ -3684,7 +3684,6 @@ fi | |||
| 3684 | { $as_echo "$as_me:${as_lineno-$LINENO}: result: $MKDIR_P" >&5 | 3684 | { $as_echo "$as_me:${as_lineno-$LINENO}: result: $MKDIR_P" >&5 |
| 3685 | $as_echo "$MKDIR_P" >&6; } | 3685 | $as_echo "$MKDIR_P" >&6; } |
| 3686 | 3686 | ||
| 3687 | |||
| 3688 | mkdir_p="$MKDIR_P" | 3687 | mkdir_p="$MKDIR_P" |
| 3689 | case $mkdir_p in | 3688 | case $mkdir_p in |
| 3690 | [\\/$]* | ?:[\\/]*) ;; | 3689 | [\\/$]* | ?:[\\/]*) ;; |