From b6aded059f68306181216d1a5abc03a47d5eb1c5 Mon Sep 17 00:00:00 2001 From: Brent Cook Date: Thu, 10 Sep 2015 07:18:08 -0500 Subject: [PATCH] ensure headers are sanitized before release When a public header is removed, we need to ensure it gets removed in the release distribution as well. Also, remove nonexistent *.he exclude. --- .gitignore | 1 - dist.sh | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 909b302f27..9af105419e 100644 --- a/.gitignore +++ b/.gitignore @@ -106,7 +106,6 @@ tls/*.h include/pqueue.h include/tls.h include/openssl/*.h -include/openssl/*.he !/apps/apps_win.c !/apps/poll_win.c diff --git a/dist.sh b/dist.sh index ff740b7091..7d2af51cc2 100755 --- a/dist.sh +++ b/dist.sh @@ -1,7 +1,7 @@ #!/bin/sh set -e -rm -f man/*.1 man/*.3 +rm -f man/*.1 man/*.3 include/openssl/*.h ./autogen.sh ./configure make distcheck