### Miscellanous useful definitions.
## Libraries of common code.
-libtripe = $(top_builddir)/common/libtripe.a
+libcommon = $(top_builddir)/common/libcommon.a
libpriv = $(top_builddir)/priv/libpriv.a
###--------------------------------------------------------------------------