diff --git a/src/makefile.in b/src/makefile.in index b4ad821770c5babc1f6c8f0e589200d32886bb72..ab6209ffa950741c3728c5aebcd44bacbf0424aa 100644 --- a/src/makefile.in +++ b/src/makefile.in @@ -158,6 +158,8 @@ externs: make -C ../extra/lrshift~ @EXTERNTARGET@ make -C ../extra/pique @EXTERNTARGET@ make -C ../extra/sigmund~ @EXTERNTARGET@ + make -C ../extra/pd~ @EXTERNTARGET@ + make -C ../extra/stdout @EXTERNTARGET@ BINARYMODE=@binarymode@