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