diff options
| -rw-r--r-- | sys/src/libmp/port/mkfile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sys/src/libmp/port/mkfile b/sys/src/libmp/port/mkfile index 547b259eb..9aaad2d80 100644 --- a/sys/src/libmp/port/mkfile +++ b/sys/src/libmp/port/mkfile @@ -45,7 +45,9 @@ FILES=\ ALLOFILES=${FILES:%=%.$O} # cull things in the per-machine directories from this list -OFILES= `{rc ./reduce $O $objtype $ALLOFILES} +OFILES= `{rfork e; \ + if(~ $objtype spim) objtype=mips; \ + rc ./reduce $O $objtype $ALLOFILES} HFILES=\ /$objtype/include/u.h\ |