X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=9197da9742569acb1baed6b933e74a409b3e66f8;hb=502855f1d746c4acf920006326daa8c86a561a5b;hp=6410988b8ba7304989ad347f387a0f0b2efdb219;hpb=65be63912fedc9819f76099b1ed52b189fc5fc03;p=pspp-builds.git

diff --git a/lib/automake.mk b/lib/automake.mk
index 6410988b..9197da97 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