12 lines
575 B
Diff
12 lines
575 B
Diff
diff -ruN gildas-src-jul18a/admin/define-system.sh gildas-src-jul18a.aarch64/admin/define-system.sh
|
|
--- gildas-src-jul18a/admin/define-system.sh 2018-06-12 15:22:32.000000000 +0200
|
|
+++ gildas-src-jul18a.aarch64/admin/define-system.sh 2018-07-21 13:05:52.000000000 +0200
|
|
@@ -174,7 +174,7 @@
|
|
DEFAULT_CONFIG= # Default config is empty
|
|
case `uname` in
|
|
Linux)
|
|
- if [ `uname -m | grep -c "x86_64"` -ne 0 ]; then
|
|
+ if [ `uname -m | grep -c "64"` -ne 0 ]; then
|
|
GAG_MACHINE=x86_64
|
|
else
|
|
GAG_MACHINE=pc
|