From: Ben Pfaff <blp@gnu.org>
Date: Sun, 11 Oct 2009 21:07:00 +0000 (-0700)
Subject: Use @VARIABLE@ instead of $(VARIABLE) consistently in Makefiles.
X-Git-Tag: lenny-x64-build41~4
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d94dc663529b4e05ec1e7c47c1e73310abb1d3b4;hp=d94dc663529b4e05ec1e7c47c1e73310abb1d3b4;p=pspp-builds.git

Use @VARIABLE@ instead of $(VARIABLE) consistently in Makefiles.

The $(VARIABLE) syntax is usually preferred, because it is possible for the
user to override it at "make" time, whereas @VARIABLE@ is hardwired at
"configure" time.

There was some discussion of this on bug-gnulib@gnu.org:
	http://comments.gmane.org/gmane.comp.lib.gnulib.bugs/18588
The summary is that Bruno Haible sometimes prefers @VARIABLE@ but most
others generally prefer $(VARIABLE), for the reason given above.
---