diff options
author | Josh Matthews <josh@joshmatthews.net> | 2020-08-20 09:52:30 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-20 06:52:30 -0700 |
commit | 250fa908590bd6d545c3d4bb9be4d24df4467cd9 (patch) | |
tree | c621eea1f11ffc4c4b02ed6f6213be7b9b30455a /projects/servo | |
parent | 77a94ceb8b0e95a1bc0fc48dc7f947724862cb83 (diff) |
[servo] Update for repo reorganization. (#4340)
Diffstat (limited to 'projects/servo')
-rwxr-xr-x | projects/servo/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/servo/build.sh b/projects/servo/build.sh index b9c3710c..78d7dea4 100755 --- a/projects/servo/build.sh +++ b/projects/servo/build.sh @@ -19,6 +19,6 @@ cd $SRC/html5ever/html5ever cargo fuzz build -O cp fuzz/target/x86_64-unknown-linux-gnu/release/fuzz_document_parse $OUT/ -cd $SRC/rust-url +cd $SRC/rust-url/url cargo fuzz build -O cp fuzz/target/x86_64-unknown-linux-gnu/release/parse $OUT/fuzz-url-parse |