From: Friedrich Beckmann <friedrich.beckmann@gmx.de>
Date: Sat, 14 Nov 2020 22:33:04 +0000 (+0100)
Subject: automake: added EXEEXT for windows support
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f8a2d63bc50ab31aa89420508dad3976da9ee9a2;p=pspp

automake: added EXEEXT for windows support

The make process fails when the excutable is called pspp on windows. I
added the EXEEXT such that pspp.exe is the target on Windows.
---

diff --git a/doc/automake.mk b/doc/automake.mk
index 6b8c37331a..a44f19f15a 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -165,7 +165,7 @@ CLEANFILES += $(EXAMPLE_TXTS) $(EXAMPLE_SPVS) $(EXAMPLE_TEXIS) $(EXAMPLE_HTML)
 SUFFIXES += .sps .spv .txt .html .texi
 
 # Use pspp to process a syntax file into an output file.
-pspp = src/ui/terminal/pspp
+pspp = src/ui/terminal/pspp$(EXEEXT)
 $(EXAMPLE_SPVS): $(pspp)
 .sps.spv:
 	$(AM_V_GEN)(cd $(top_srcdir)/examples \