Pull request of S91lighttpd
Hi, I'm trying to make a pull request as I want to make a very simple (yet useful) change to S91lighttpd file. I wonder where I can find this file in Git as I can find it locally in my build directory: build/overlay/etc/init.d/S91lighttpd but can not find it anywhere else in Git. I assume it is part of some prebuilt file system (overlay?) but still I can't find where this file system is in Git. Any help will be appreciated. Hugo
Hi Hugo, I believe that this is the script that gets added as S91lighttpd: https://github.com/seL4/sel4webserver/blob/master/lighttpd/lighttpd.sh If you want more details of how lighttpd is built and overlayed you can check the cmake file: https://github.com/seL4/sel4webserver/blob/master/lighttpd/Findlighttpd.cmak... Regards, Olof
Sounds goofd Olof, I'll give it a try. Thank you!
El lun, 7 jun 2021 a las 19:13, Olof Holmberg (
Hi Hugo,
I believe that this is the script that gets added as S91lighttpd: https://github.com/seL4/sel4webserver/blob/master/lighttpd/lighttpd.sh
If you want more details of how lighttpd is built and overlayed you can check the cmake file: https://github.com/seL4/sel4webserver/blob/master/lighttpd/Findlighttpd.cmak...
Regards, Olof _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
participants (2)
-
Hugo V.C. -
Olof Holmberg