Fix source build after successful build (Closes: #1049230)
authorStéphane Glondu <glondu@debian.org>
Fri, 25 Aug 2023 09:10:11 +0000 (11:10 +0200)
committerStéphane Glondu <glondu@debian.org>
Fri, 25 Aug 2023 09:34:11 +0000 (11:34 +0200)
debian/clean
debian/rules

index 028c9dc8be43bcb9c709fa47364c706a4bab3ff2..3f676afddac5d3f76d5f98d8ceadfcfc1eeb9ade 100644 (file)
@@ -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
index da054efdd1d89a4e9990f1993b0ec13cb0da0da5..71624bef62d7f6d8f52156e1bd6e0e56d08409eb 100755 (executable)
@@ -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