diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2012-04-21 00:30:02 +0400 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2012-04-21 00:30:02 +0400 |
| commit | 6adc0b7a7dfc952c449da6320d30699a7246a2ea (patch) | |
| tree | 048ae43430be2537b4c95fe808a90dc23945a04b /debian/patches/non-static-open-axiom-binary.patch | |
| parent | fd23fdc8c4a945b04d5d3c147568a85b7b661ca0 (diff) | |
| download | open-axiom-debian-6adc0b7a7dfc952c449da6320d30699a7246a2ea.tar.gz | |
Bumped SVN revision; 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 b9433fe..5ccf609 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 2011-12-05 02:49:30.000000000 +0400 -+++ b/src/driver/Makefile.in 2011-12-05 02:49:36.000000000 +0400 +--- 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 @@ -70,7 +70,7 @@ main.lo: open-axiom.h |