mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
20 lines
671 B
Plaintext
20 lines
671 B
Plaintext
--- configure.orig 2023-02-22 20:22:10 UTC
|
|
+++ configure
|
|
@@ -136,8 +136,6 @@ for opt do
|
|
--enable-coverage) build_mode="coverage";;
|
|
-h|-help|--help) show_help=yes;;
|
|
*)
|
|
- echo "$0: unknown option $opt; try $0 --help"
|
|
- exit 1
|
|
;;
|
|
esac
|
|
done
|
|
@@ -429,6 +427,7 @@ if test $backend = mcode; then
|
|
*mingw32*) ortho_flags="Flags_Windows${mcode64}" ;;
|
|
*linux*) ortho_flags="Flags_Linux${mcode64}" ;;
|
|
*openbsd*) ortho_flags="Flags_Macosx${mcode64}" ;;
|
|
+ *freebsd*) ortho_flags="Flags_Linux${mcode64}" ;;
|
|
*) echo "Unsupported $build build for mcode"; exit 1;;
|
|
esac
|
|
echo "Generate ortho_code-x86-flags.ads"
|