diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-12-20 00:43:19 +0000 |
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-12-20 00:43:19 +0000 |
| commit | 0135453e048b92adb1ad7bc00e3e831eab17da97 (patch) | |
| tree | 7771d09ed211528e372bb4fa111f0b49b40f7b4c /configure | |
| parent | sync with w3m-0.2.2-inu-1.1/gc (diff) | |
| download | w3m-0135453e048b92adb1ad7bc00e3e831eab17da97.tar.gz w3m-0135453e048b92adb1ad7bc00e3e831eab17da97.zip | |
sync with w3m-0.2.2-inu-1.1/gc, so Patches/ews4800 no longer needed
Diffstat (limited to '')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ #!/bin/sh -# $Id: configure,v 1.37 2001/12/19 18:16:18 ukai Exp $ +# $Id: configure,v 1.38 2001/12/20 00:44:00 ukai Exp $ # Configuration. # @@ -1039,7 +1039,7 @@ if [ "$gclib" = "gc/gc.a" -a ! -f patch_done ]; then case "$platform:$sysname" in R3000:*System_V*|R4000:UNIX_SYSV|R*000:UNIX_SV) # EWS-4800 - patchfile=Patches/ews4800 +# patchfile=Patches/ews4800 gc_cflags=-Dmips ;; esac |