diff options
Diffstat (limited to 'admin/libtool-norelink.diff')
| -rw-r--r-- | admin/libtool-norelink.diff | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/admin/libtool-norelink.diff b/admin/libtool-norelink.diff deleted file mode 100644 index cab6261f6..000000000 --- a/admin/libtool-norelink.diff +++ /dev/null @@ -1,12 +0,0 @@ ---- libtool.orig 2005-01-08 20:19:50.000000000 +0100 -+++ libtool 2005-01-08 20:30:14.000000000 +0100 -@@ -5777,6 +5777,9 @@ - */* | *\\*) . $file ;; - *) . ./$file ;; - esac -+ -+ echo "Pragma: killing the relink command" -+ relink_command= - - # Add the libdir to current_libdirs if it is the destination. - if test "X$destdir" = "X$libdir"; then |