diff options
Diffstat (limited to 'ports/sysdeps/arm/preconfigure')
| -rw-r--r-- | ports/sysdeps/arm/preconfigure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ports/sysdeps/arm/preconfigure b/ports/sysdeps/arm/preconfigure index e3762afc25..6d61b14281 100644 --- a/ports/sysdeps/arm/preconfigure +++ b/ports/sysdeps/arm/preconfigure @@ -28,7 +28,10 @@ arm*) machine=armv6t2 echo "Found compiler is configured for $machine" ;; - + x__ARM_ARCH_6*__) + machine=armv6 + echo "Found compiler is configured for $machine" + ;; *) machine=arm echo 2>&1 "arm/preconfigure: Did not find ARM architecture type; using default" |