diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in index bf88bc8dd1bcd543a1a98941703e7c48771f4b5e..b43fe23cf85ecaa5bdf98025b7e8df1e95c0f574 100644 --- a/distrib/configure-bin.in +++ b/distrib/configure-bin.in @@ -40,7 +40,7 @@ i[[3456]]86-*-linux*) TargetPlatform=i386-unknown-linux;; i[[3456]]86-*-freebsd2*) TargetPlatform=i386-unknown-freebsd2;; -i[[3456]]86-*-freebsd[[^0-2]]*) +i[[3456]]86-*-freebsd[[3-9]]*) TargetPlatform=i386-unknown-freebsd;; i[[3456]]86-*-netbsd*) TargetPlatform=i386-unknown-netbsd;;