diff options
Diffstat (limited to 'debian/patches/non-static-open-axiom-binary.patch')
| -rw-r--r-- | debian/patches/non-static-open-axiom-binary.patch | 3 |
1 files changed, 3 insertions, 0 deletions
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 |