diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-05-04 21:44:31 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-04 21:44:31 -0400 |
commit | 173bfadaa75d35e88bb5f51fbff56ab9caaae552 (patch) | |
tree | 27476232f2b9fa558404d4bb85b4c4f3e15bb9d3 | |
parent | bdfd17f9a9ec269f7fedfbbc271080176237d501 (diff) | |
parent | 77422af5d04195f65325887d354c37d803d9e294 (diff) | |
download | servo-173bfadaa75d35e88bb5f51fbff56ab9caaae552.tar.gz servo-173bfadaa75d35e88bb5f51fbff56ab9caaae552.zip |
Auto merge of #26418 - CrazyRoka:fix-fedora-installation-guide, r=jdm
Fix Fedora installation guide
Added necessary library to guide for successful installation on Fedora Linux.
Closes #26417
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md index d2c4fe16f65..a103aa9c788 100644 --- a/README.md +++ b/README.md @@ -89,7 +89,7 @@ If you get an undefined symbol error on `gst_player_get_config` try removing `gi #### On Fedora ``` sh -sudo dnf install python3 python3-virtualenv python3-pip +sudo dnf install python3 python3-virtualenv python3-pip python3-devel python3 ./mach bootstrap ``` |