git-wad

commit ba0b0b381f4777c0b9f5f89e95c9b2b24fe4c67a
parent 8e6a17e350e3dff0eae745c6fb7210260622d617
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Sat,  2 Dec 2023 15:36:21 +0100

Updating the creation of the .git/wad subdirectory

Previously, we tested the existence of the directory before creating it
with the mkdir -p command, whereas it's sufficient to use this command
alone, the -p option providing the same behavior.

Diffstat:
M
git-wad
 | 
4
+---

1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/git-wad b/git-wad
@@ -194,9 +194,7 @@ push() # [--all]
 ########################################################################
 sub_cmd="$1"
 
-if ! [ -d "${GIT_WAD_OBJDIR}" ]; then
-  mkdir -p "${GIT_WAD_OBJDIR}"
-fi
+mkdir -p "${GIT_WAD_OBJDIR}"
 
 case "${sub_cmd}" in
   "filter-clean")  shift 1; clean "$@" ;;