summaryrefslogtreecommitdiffstats
path: root/shells/bash3
diff options
context:
space:
mode:
authorobrien <obrien@FreeBSD.org>2003-05-16 19:56:09 +0000
committerobrien <obrien@FreeBSD.org>2003-05-16 19:56:09 +0000
commitfc0a45df0032289eb9fcb55ed421f2b9332ceb74 (patch)
treef39072eab2d3a04c1805efa801e91690f5f16744 /shells/bash3
parent9adac7dddee404092e1af238c8972b5750c6b029 (diff)
downloadFreeBSD-ports-fc0a45df0032289eb9fcb55ed421f2b9332ceb74.zip
FreeBSD-ports-fc0a45df0032289eb9fcb55ed421f2b9332ceb74.tar.gz
Properly configure on FreeBSD/amd64.
Diffstat (limited to 'shells/bash3')
-rw-r--r--shells/bash3/files/patch-config.guess10
-rw-r--r--shells/bash3/files/patch-config.sub15
2 files changed, 25 insertions, 0 deletions
diff --git a/shells/bash3/files/patch-config.guess b/shells/bash3/files/patch-config.guess
new file mode 100644
index 0000000..a109a5e
--- /dev/null
+++ b/shells/bash3/files/patch-config.guess
@@ -0,0 +1,10 @@
+--- support/config.guess.orig Wed Apr 3 16:47:14 2002
++++ support/config.guess Fri May 16 19:42:58 2003
+@@ -782,4 +782,7 @@
+ echo ${UNAME_MACHINE}-unknown-bsdi${UNAME_RELEASE}
+ exit 0 ;;
++ amd64:FreeBSD:*:*)
++ echo x86_64-unknown-freebsd
++ exit 0 ;;
+ *:FreeBSD:*:*)
+ echo ${UNAME_MACHINE}-unknown-freebsd`echo ${UNAME_RELEASE}|sed -e 's/[-(].*//'`
diff --git a/shells/bash3/files/patch-config.sub b/shells/bash3/files/patch-config.sub
new file mode 100644
index 0000000..457c442
--- /dev/null
+++ b/shells/bash3/files/patch-config.sub
@@ -0,0 +1,15 @@
+--- support/config.sub.orig Wed Apr 3 16:47:14 2002
++++ support/config.sub Fri May 16 19:42:58 2003
+@@ -268,5 +268,5 @@
+ # because (1) that's what they normally are, and
+ # (2) the word "unknown" tends to confuse beginning users.
+- i*86 | x86_64)
++ i*86 | x86_64 | amd64)
+ basic_machine=$basic_machine-pc
+ ;;
+@@ -282,4 +282,5 @@
+ | alpha64-* | alpha64ev[4-8]-* | alpha64ev56-* | alpha64ev6[78]-* \
+ | alphapca5[67]-* | alpha64pca5[67]-* | arc-* \
++ | amd64-* \
+ | arm-* | armbe-* | armle-* | armv*-* \
+ | avr-* \
OpenPOWER on IntegriCloud