X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=9197da9742569acb1baed6b933e74a409b3e66f8;hb=08840d0406f06b48e29f336f81582e59bf1a5633;hp=6410988b8ba7304989ad347f387a0f0b2efdb219;hpb=371a340b7b71f9dcd87b8df1cca265d256a471af;p=pspp

diff --git a/lib/automake.mk b/lib/automake.mk
index 6410988b8b..9197da9742 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -1,6 +1,7 @@
 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
 
 include $(top_srcdir)/lib/linreg/automake.mk
+include $(top_srcdir)/lib/misc/automake.mk
 
 if WITHGUI
 include $(top_srcdir)/lib/gtksheet/automake.mk