diff options
| -rw-r--r-- | distrib/configure-bin.ac | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/distrib/configure-bin.ac b/distrib/configure-bin.ac index 11d3db2ff8..bccef9cb4d 100644 --- a/distrib/configure-bin.ac +++ b/distrib/configure-bin.ac @@ -82,6 +82,14 @@ sparc-sun-sunos4*) TargetPlatform=sparc-sun-sunos4;; sparc-sun-solaris2*) TargetPlatform=sparc-sun-solaris2;; +x86_64-*-linux*) + TargetPlatform=x86_64-unknown-linux;; +x86_64-*-freebsd*) + TargetPlatform=x86_64-unknown-freebsd;; +x86_64-*-openbsd*) + TargetPlatform=x86_64-unknown-openbsd;; +x86_64-*-netbsd*) + TargetPlatform=x86_64-unknown-netbsd;; *) echo "Unrecognised platform: $TargetPlatform" exit 1 |