Fix workdir for serenity project (#5018)

With this, can build fuzzers against a local checkout with:

    python3 infra/helper.py build_fuzzers serenity $HOME/src/serenity

Similar to 14452cfb3d
This commit is contained in:
Nico Weber 2021-01-20 14:44:07 -05:00 committed by GitHub
parent 26dd144e52
commit 9797a3447d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 3 deletions

View File

@ -17,5 +17,5 @@
FROM gcr.io/oss-fuzz-base/base-builder
RUN apt-get update && apt-get install -y build-essential cmake curl e2fsprogs libmpfr-dev libmpc-dev libgmp-dev ninja-build
RUN git clone https://github.com/SerenityOS/serenity
WORKDIR $SRC
COPY build.sh $SRC/
WORKDIR $SRC/serenity/Meta/Lagom

View File

@ -16,8 +16,7 @@
################################################################################
# Now build the content
cd serenity/Meta/Lagom
mkdir build
mkdir -p build
cd build
cmake -GNinja \
-DBUILD_LAGOM=ON \