From: Ben Pfaff <blp@gnu.org>
Date: Tue, 14 Oct 2008 01:40:54 +0000 (-0700)
Subject: Make src/libpspp/version.c depend on Makefile.
X-Git-Tag: sav-api~631^2~21
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=80cc751377f06abdf4b9019dae2acce0ebfbb259;p=pspp

Make src/libpspp/version.c depend on Makefile.

This ensures that re-running "configure" with different settings causes
version.c to be rebuilt.

Thanks to Ivy Foster <ivy.foster@gmail.com> for reporting the problem.
---

diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk
index a0d7879f52..b4fa926edd 100644
--- a/src/libpspp/automake.mk
+++ b/src/libpspp/automake.mk
@@ -71,7 +71,7 @@ src_libpspp_libpspp_a_CPPFLAGS = -I $(top_srcdir)/src/libpspp $(AM_CPPFLAGS)
 
 nodist_src_libpspp_libpspp_a_SOURCES = src/libpspp/version.c
 
-src/libpspp/version.c: $(top_srcdir)/AUTHORS
+src/libpspp/version.c: $(top_srcdir)/AUTHORS Makefile
 	@$(MKDIR_P) src/libpspp
 	echo "/* 	-*- mode: c; buffer-read-only: t -*-" > $@
 	echo "   Generated by src/libpspp/automake.mk --- Do not edit. */">> $@