Advertisement
Guest User

Untitled

a guest
Aug 8th, 2019
112
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.68 KB | None | 0 0
  1. diff --git a/helpers/makefstab b/helpers/makefstab
  2. index 8859a6a..9b7a965 100755
  3. --- a/helpers/makefstab
  4. +++ b/helpers/makefstab
  5. @@ -162,5 +162,12 @@ for my $file (@files) {
  6. if ( $unitname eq "system_root" ) {
  7. write_unit($outputdir, "system", $secontext, "bind", "none", "/system_root/system", "/system", $file, $_);
  8. }
  9. +
  10. + # In case of a legacy partition layout without a dedicated /vendor partition,
  11. + # bind mount /system/vendor to /vendor to make sure everything is in the proper place.
  12. + if ( $unitname eq "system" ) {
  13. + write_unit($outputdir, "vendor", $secontext, "bind", "none", "/system/vendor", "/vendor", $file, $_);
  14. + }
  15. +
  16. }
  17. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement