blob: 5732dafef4ea28114c04882343b68f3cd5aec734 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- src/usr/lib/mozart/bin/ozplatform 2008-09-21 15:48:40.000000000 +0300
+++ src1/usr/lib/mozart/bin/ozplatform 2016-09-17 14:06:20.473679483 +0300
@@ -36,7 +36,7 @@
;;
RISC\ ULTRIX\ 4.*) OZARCH=ultrix-mips
;;
- i[4567]86\ Linux\ *) OZARCH=linux-i486
+ i[4567]86\ Linux\ *|x86_64\ Linux\ *) OZARCH=linux-i486
;;
m68k\ Linux\ *) OZARCH=linux-m68k
;;
|