(configuration): Use SET_MAKE to get the value of $(MAKE).
authorRichard M. Stallman <rms@gnu.org>
Sat, 16 Apr 1994 07:25:42 +0000 (07:25 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sat, 16 Apr 1994 07:25:42 +0000 (07:25 +0000)
commit3bdaa06a920f0e46b2478e0afc8e08f8c6925156
tree18541bd8512e4d165ac03b22b8056e317b89a3cb
parentcf1c8cd91d095ca655e10ef192f58453b005339d
(configuration): Use SET_MAKE to get the value of $(MAKE).
src/Makefile.in