From eebcddf2fd41a6c8776533b242d592f3a01e5fda Mon Sep 17 00:00:00 2001 From: Paolo Bonzini Date: Thu, 11 May 2023 09:44:18 +0200 Subject: [PATCH] configure: remove unnecessary mkdir It is taken care of by the symlink shell function. Signed-off-by: Paolo Bonzini --- configure | 1 - 1 file changed, 1 deletion(-) diff --git a/configure b/configure index 964ca27a62..7a5edc1b95 100755 --- a/configure +++ b/configure @@ -1673,7 +1673,6 @@ LINKS="$LINKS python" LINKS="$LINKS contrib/plugins/Makefile " for f in $LINKS ; do if [ -e "$source_path/$f" ]; then - mkdir -p "$(dirname ./"$f")" symlink "$source_path/$f" "$f" fi done