gnublin

[projects.git] / tools / make / makefile

diff --git a/tools/make/makefile b/tools/make/makefile
index b2f49444608d6786d040d47e2cc62cb370102232..0dea1519ae0ea3edf808ead1db233dc282a6c845 100644 (file)
--- a/tools/make/makefile
+++ b/tools/make/makefile
@@ -60,7 +60,10 @@ copy.stamp: $(COPY_PRE)
 control.stamp: $(project).control
        mkdir -p $(project)/DEBIAN
        cp $(project).control $(project)/DEBIAN/control
+       if [ -f $(project).preinst ]; then cp $(project).preinst $(project)/DEBIAN/preinst; fi
        if [ -f $(project).postinst ]; then cp $(project).postinst $(project)/DEBIAN/postinst; fi
+       if [ -f $(project).prerm ]; then cp $(project).prerm $(project)/DEBIAN/prerm; fi
+       if [ -f $(project).postrm ]; then cp $(project).postrm $(project)/DEBIAN/postrm; fi
        @touch control.stamp
 
 $(project).zip: copy.stamp $(project)