Re: [Context] 64-bit kfreebsd

I would think that        # kFreeBSD (Debian)        GNU/kFreeBSD)                case "$cpu" in                        i*86) platform="kfreebsd-i386" ;;                        x86_64) platform="kfreebsd-amd64" ;;                        amd64) platform="kfreebsd-amd64" ;;                        *) platform="unknown" ;;                esac ;; would be correct.

Please let me know if I have missed something (apart for the need to fix mtxrun). (but we need to fix the csh file one day as well) Mojca