diff options
Diffstat (limited to 'mcc.patch')
-rw-r--r-- | mcc.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/mcc.patch b/mcc.patch deleted file mode 100644 index a1203b6..0000000 --- a/mcc.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/opt/Wolfram/WolframEngine/12.0/Executables/mcc 2019-06-23 23:13:31.000000000 -0400 -+++ b/opt/Wolfram/WolframEngine/12.0/Executables/mcc 2019-11-18 23:52:21.191861413 -0500 -@@ -19,6 +19,8 @@ - SystemIDList="Linux-x86-64 Linux";; - armv?l) - SystemIDList="Linux-ARM";; -+ aarch64) -+ SystemIDList="Linux-ARM";; - *) - SystemIDList="Unknown";; - esac;; |