diff options
author | Patrick Steinhardt <ps@pks.im> | 2018-07-19 14:10:40 +0000 |
---|---|---|
committer | jonathanmetzman <31354670+jonathanmetzman@users.noreply.github.com> | 2018-07-19 07:10:40 -0700 |
commit | 7951fd64fd7f8937f901bc45ac3049fb1e7e98d8 (patch) | |
tree | 9c50ba763ba410355f59731fc4a25293ad80964a | |
parent | 8dbf55aa24a43b65213447132258191029ec0cdc (diff) |
[libgit2] create build directory only if it doesn't exist yet (#1633)
Right now, we're always trying to create the project build directory,
even if it already exists. When building the fuzzer with an already
existing project directory, though, this may produce an error if the
build directory already exists. Fix this by adding the "-p" flag to
mkdir(1), which will not produce an error if the target already exists.
-rwxr-xr-x | projects/libgit2/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/libgit2/build.sh b/projects/libgit2/build.sh index acdc815e..7c5c6e8f 100755 --- a/projects/libgit2/build.sh +++ b/projects/libgit2/build.sh @@ -16,7 +16,7 @@ ################################################################################ # build project -mkdir build +mkdir -p build cd build cmake .. -DCMAKE_INSTALL_PREFIX="$WORK" \ -DBUILD_SHARED_LIBS=OFF \ |