diff options
Diffstat (limited to 'src/libmp/port')
| -rw-r--r-- | src/libmp/port/mkfile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/libmp/port/mkfile b/src/libmp/port/mkfile index b0cf77cd..15612aa7 100644 --- a/src/libmp/port/mkfile +++ b/src/libmp/port/mkfile @@ -34,8 +34,9 @@ FILES=\ mptouv\ ALLOFILES=${FILES:%=%.$O} -# cull things in the per-machine directories from this list -OFILES= `{sh ./reduce $O $OBJTYPE $ALLOFILES} +# # cull things in the per-machine directories from this list +# OFILES= `{sh ./reduce $O $ALLOFILES} +OFILES=$ALLOFILES HFILES=\ $PLAN9/include/lib9.h\ |