From: Stéphane Glondu <glondu@debian.org>
Date: Fri, 25 Aug 2023 09:10:11 +0000 (+0200)
Subject: Fix source build after successful build (Closes: #1049230)
X-Git-Tag: archive/raspbian/4.14.1-1+rpi1~1^2~11
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d70268269ee7cffa1b3ee3fa408833b9d059dd36;p=ocaml.git

Fix source build after successful build (Closes: #1049230)
---

diff --git a/debian/clean b/debian/clean
index 028c9dc8..3f676afd 100644
--- a/debian/clean
+++ b/debian/clean
@@ -1,20 +1,10 @@
-build/ocamlbuild_mixed_mode
-config/Makefile
-config/config.debian.install.sh
-config/config.sh
-config/m.h
-config/s.h
-myocamlbuild_config.ml
-tools/myocamlbuild_config.ml
-ocamlc
-ocamlcomp.sh
-debian/installed-files
-debian/ocaml-base-nox.install
-debian/ocaml-base.install
-debian/ocaml-compiler-libs.install
-debian/ocaml-interp.install
-debian/ocaml-man.install
-debian/ocaml-nox.install
-debian/ocaml.install
-install-stamp-arch
-install-stamp-indep
+Makefile.build_config
+Makefile.config
+config.log
+config.status
+configure
+libtool
+runtime/caml/m.h
+runtime/caml/s.h
+testsuite/_log
+tools/eventlog_metadata
diff --git a/debian/rules b/debian/rules
index da054efd..71624bef 100755
--- a/debian/rules
+++ b/debian/rules
@@ -183,6 +183,10 @@ endif
 # Remaining stuff
 	-rm -Rf debian/$(SRCTARBALL) $(TESTDIR)
 
+execute_after_dh_clean:
+	rm -f install-stamp-*
+	rm -f debian/installed-files debian/*.install
+
 .PHONY: override_dh_auto_install-arch override_dh_auto_install-indep
 override_dh_auto_install-arch: install-stamp-arch
 override_dh_auto_install-indep: install-stamp-indep