diff options
Diffstat (limited to 'common/print_outputformat')
-rwxr-xr-x | common/print_outputformat | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/common/print_outputformat b/common/print_outputformat new file mode 100755 index 0000000..5593a3c --- /dev/null +++ b/common/print_outputformat @@ -0,0 +1,9 @@ +#!/bin/sh + +# default to ecoff + +case $1 in + ip32 | IP32) echo "elf32-tradbigmips" ;; + ip22 | IP22) echo "ecoff-bigmips" ;; + *) echo "ecoff-bigmips" ;; +esac |