X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;fp=Makefile.am;h=565e730171d96499cd7a0e493ca05bbde695a0d7;hb=8ec823cac8dd9eee5d0ad6cee9d001b9fdb673ba;hp=3a71973ca3d635b3feaba04123246d30f16df2ed;hpb=1c5d2755b719a8598eb78a15fc7b090b9a9c7d75;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 3a71973ca3..565e730171 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1,5 +1,5 @@
 ## PSPP - a program for statistical analysis.
-## Copyright (C) 2019 Free Software Foundation, Inc.
+## Copyright (C) 2019, 2020 Free Software Foundation, Inc.
 ##
 ## This program is free software: you can redistribute it and/or modify
 ## it under the terms of the GNU General Public License as published by
@@ -66,6 +66,11 @@ PHONY =
 SUFFIXES = .q
 LDADD = gl/libgl.la
 
+gl/libgl.la: config.h
+	$(MAKE) -C gl
+
+dist: gl/libgl.la
+
 # This ensures that files added to EXTRA_DIST are always distributed,
 # even if they are inside an Automake if...endif conditional block that is
 # disabled by some particular "configure" run.  For more information, see: