X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fautomake.mk;h=cfc06bf1042498dcf0e80665071219a4e488c348;hb=e6ae2a61e5356694c09f48da74407f8054a04e8d;hp=ef56b7e97f65c005be03065a11eeb74bd8e87583;hpb=687adf53eae434e88a47bb3409f946f3a26115a4;p=pspp

diff --git a/src/ui/terminal/automake.mk b/src/ui/terminal/automake.mk
index ef56b7e97f..cfc06bf104 100644
--- a/src/ui/terminal/automake.mk
+++ b/src/ui/terminal/automake.mk
@@ -14,6 +14,7 @@ src_ui_terminal_libui_a_SOURCES = \
 
 bin_PROGRAMS += src/ui/terminal/pspp
 
+
 src_ui_terminal_pspp_SOURCES =
 
 src_ui_terminal_pspp_LDADD =					\
@@ -28,7 +29,7 @@ src_ui_terminal_pspp_LDADD =					\
 	lib/gsl-extras/libgsl-extras.a	\
 	src/data/libdata.a \
 	src/libpspp/libpspp.a \
-	gl/libgl.a	\
 	$(LIBICONV) \
+	gl/libgl.la \
 	@LIBINTL@ @LIBREADLINE@