diff options
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/no-missing-messages.patch | 4 | ||||
-rw-r--r-- | debian/patches/non-static-open-axiom-binary.patch | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/debian/patches/no-missing-messages.patch b/debian/patches/no-missing-messages.patch index e8a23bd..38c2f9f 100644 --- a/debian/patches/no-missing-messages.patch +++ b/debian/patches/no-missing-messages.patch @@ -1,3 +1,7 @@ +Description: suppress "program not found" messages. This programs are + in separated packages, and open-axiom recommends them. +Forwarded: not-needed +Origin: vendor Index: open-axiom/src/sman/sman.c =================================================================== --- open-axiom.orig/src/sman/sman.c 2013-09-01 11:22:27.000000000 +0400 diff --git a/debian/patches/non-static-open-axiom-binary.patch b/debian/patches/non-static-open-axiom-binary.patch index c42595e..b9ecc7c 100644 --- a/debian/patches/non-static-open-axiom-binary.patch +++ b/debian/patches/non-static-open-axiom-binary.patch @@ -1,3 +1,6 @@ +Description: make /usr/bin/open-axiom a dynamically linked executable +Origin: vendor +Forwarded: no Index: b/src/driver/Makefile.in =================================================================== --- a/src/driver/Makefile.in 2013-05-09 20:02:37.000000000 +0400 |