Tweak listing of libraries.

3 files changed, 4 insertions, 2 deletions

diff --git a/src/mkhdr b/src/mkhdr
index 6d37e032..c63c4a6f 100644
--- a/src/mkhdr
+++ b/src/mkhdr
@@ -22,6 +22,8 @@ CLEANFILES=
 NUKEFILES=
 YACC=yacc
 YFLAGS=-d
+LIB=
+SHORTLIB=
 
 <|cat $PLAN9/src/mk.$SYSNAME-$OBJTYPE 2>/dev/null || true
 
diff --git a/src/mkmany b/src/mkmany
index bdf4148b..64137837 100644
--- a/src/mkmany
+++ b/src/mkmany
@@ -5,7 +5,7 @@ PROGS=${TARG:%=$O.%}
 
 all:V:	$PROGS
 
-$O.%:	%.$O $OFILES $LIB
+$O.%:	%.$O $OFILES $LIB ${SHORTLIB:%=$LIBDIR/lib%.a}
 	$LD -o $target $prereq $LDFLAGS
 
 %.install:V:	$BIN/%
diff --git a/src/mkone b/src/mkone
index 1a744730..412f4865 100644
--- a/src/mkone
+++ b/src/mkone
@@ -2,7 +2,7 @@ PROG=$O.$TARG
 
 all:V:	$PROG
 
-$PROG:	$OFILES $LIB
+$PROG:	$OFILES $LIB ${SHORTLIB:%=$LIBDIR/lib%.a}
 	$LD -o $target $prereq $LDFLAGS
 
 install:V: $TARG.install