#!/bin/sh
# 
# print a "hardware name" to identify this machine
# 

echo "MIPSEL"
