diff options
Diffstat (limited to 'libmp/port/reduce-sh')
| -rw-r--r-- | libmp/port/reduce-sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/libmp/port/reduce-sh b/libmp/port/reduce-sh new file mode 100644 index 00000000..0e1a091f --- /dev/null +++ b/libmp/port/reduce-sh @@ -0,0 +1,13 @@ +O=$1 +shift +nonport=$1 +shift + +for i in $* +do + j=`echo $i | sed 's/\.'$O'//'` + if test ! -f ../$nonport/$j.c -a ! -f ../$nonport/$j.s -a ! -f ../$nonport/$j.spp + then + echo $i + fi +done |