remove the picotls header files

This commit is contained in:
Christian Ulrich 2020-10-29 17:51:48 +01:00
parent b76005ad7d
commit 6eae95b45e
No known key found for this signature in database
GPG Key ID: 8241BE099775A097
1 changed files with 0 additions and 2 deletions

View File

@ -59,8 +59,6 @@ stdenv.mkDerivation rec {
install -Dt $out/lib *.a
install -Dt $dev/include ../include/quicly.h
install -Dt $dev/include/quicly ../include/quicly/*.h
install -Dt $dev/include ${picotls}/include/picotls.h
install -Dt $dev/include/picotls ${picotls}/include/picotls/*.h
runHook postInstall
'';