Rooba
/
oss-fuzz
mirror of https://github.com/google/oss-fuzz.git
1
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

zeek: Fix installation of filesystem module (#8043)

This commit is contained in:
Tim Wojtulewicz 2022-07-20 14:04:15 -07:00 committed by GitHub
parent c50e257afb
commit 71f4c01843
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
projects/zeek/build.sh
View File

@ -82,4 +82,11 @@ if [ "${SANITIZER}" = "coverage" ]; then
# causing the coverage build to fail.
mkdir -p $OUT/$(basename $SRC)
cp -r $SRC/zeek $OUT/$(basename $SRC)/zeek
# Replace the 3rdpary/ghc symlink in the ./build directory with the
# actual contents. The symlink otherwise points into the /src directory.
if [ -L ${OUT}/$(basename $SRC)/zeek/build/zeek/3rdparty/ghc ]; then
rm ${OUT}/$(basename $SRC)/zeek/build/zeek/3rdparty/ghc
cp -r $SRC/zeek/auxil/filesystem/include/ghc ${OUT}/$(basename $SRC)/zeek/build/zeek/3rdparty/
fi
fi