diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2013-04-03 19:13:22 +0400 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2013-04-03 19:13:22 +0400 |
| commit | db53e75a5a92175a86d05900c216a57cd318625d (patch) | |
| tree | ca63548369896cb9c51f41adc662dc6c07f25935 /debian/patches/non-static-open-axiom-binary.patch | |
| parent | e1a3d9f2fb87f2000d0491742110d67d36fb0b24 (diff) | |
| download | open-axiom-debian-db53e75a5a92175a86d05900c216a57cd318625d.tar.gz | |
Refreshed patches
Diffstat (limited to 'debian/patches/non-static-open-axiom-binary.patch')
| -rw-r--r-- | debian/patches/non-static-open-axiom-binary.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/non-static-open-axiom-binary.patch b/debian/patches/non-static-open-axiom-binary.patch index 5ccf609..b3a7a20 100644 --- a/debian/patches/non-static-open-axiom-binary.patch +++ b/debian/patches/non-static-open-axiom-binary.patch @@ -1,7 +1,7 @@ Index: b/src/driver/Makefile.in =================================================================== ---- a/src/driver/Makefile.in 2012-04-21 00:28:55.000000000 +0400 -+++ b/src/driver/Makefile.in 2012-04-21 00:29:02.000000000 +0400 +--- a/src/driver/Makefile.in 2013-04-03 19:12:46.000000000 +0400 ++++ b/src/driver/Makefile.in 2013-04-03 19:12:53.000000000 +0400 @@ -70,7 +70,7 @@ main.lo: open-axiom.h |