]> git.ipfire.org Git - thirdparty/freeradius-server.git/commitdiff
Add -p to mkdir coverity_tool/config. (#4877)
authorJames Jones <jejones3141@gmail.com>
Tue, 31 Jan 2023 22:11:35 +0000 (16:11 -0600)
committerGitHub <noreply@github.com>
Tue, 31 Jan 2023 22:11:35 +0000 (17:11 -0500)
.github/workflows/coverity.yml

index cca531c0f43c2c63b94b01ca1852e116a34cae14..c5f2d9d0a10090d4a95ea6bd00effd3e40c947dc 100644 (file)
@@ -66,7 +66,7 @@ jobs:
           export CC=clang
           export PATH=`pwd`/coverity_tool/bin:$PATH
           ./configure -with-rlm-python-bin=/usr/bin/python2.7
-          mkdir coverity_tool/config
+          mkdir -p coverity_tool/config
           cov-make-library --compiler-opt -I --compiler-opt src/freeradius-devel src/coverity-model/*
           cov-configure --template --compiler clang --comptype clangcc
           cov-build --dir cov-int make