corba/make/common/shared/Platform.gmk
changeset 4290 1258c05e707a
parent 3871 3d528461f61d
child 5385 8308e15f228e
--- a/corba/make/common/shared/Platform.gmk	Wed Jul 05 17:03:05 2017 +0200
+++ b/corba/make/common/shared/Platform.gmk	Mon Nov 23 10:04:41 2009 +0000
@@ -187,6 +187,9 @@
                 sparc*) \
                     echo sparc \
                     ;; \
+                arm*) \
+                    echo arm \
+                    ;; \
                 *) \
                     echo $(mach) \
                     ;; \