After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 510747 - Use $(MAKE) instead of make to fix the build if GNU make is called different
Use $(MAKE) instead of make to fix the build if GNU make is called different
Status: RESOLVED FIXED
Product: GStreamer
Classification: Platform
Component: gstreamer (core)
git master
Other Linux
: Normal blocker
: 0.10.16
Assigned To: GStreamer Maintainers
GStreamer Maintainers
Depends on:
Blocks:
 
 
Reported: 2008-01-20 08:22 UTC by Sebastian Dröge (slomo)
Modified: 2008-01-20 17:09 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
manuals.diff (1.23 KB, patch)
2008-01-20 08:23 UTC, Sebastian Dröge (slomo) 		committed Details | Review

Description Sebastian Dröge (slomo) 2008-01-20 08:22:22 UTC 
Hi,
the attached patch fixes the build on FreeBSD and other systems where GNU make is called different than make, i.e. gmake.

Before, if called with "gmake" those Makefiles would still call make, now they call "gmake" or whatever they were called with.

This change is pretty trivial and would be nice to have in for the next release.

Bye
Comment 1 Sebastian Dröge (slomo) 2008-01-20 08:23:19 UTC 
Created attachment 103240 [details] [review]
manuals.diff
Comment 2 Jan Schmidt 2008-01-20 12:22:14 UTC 
works for me, please commit
Comment 3 Sebastian Dröge (slomo) 2008-01-20 17:09:23 UTC 
2008-01-20  Sebastian Dröge  <slomo@circular-chaos.org>

        * docs/manuals.mak:
        Use $(MAKE) instead of make to fix the build if GNU make is
        called different. Fixes bug #510747.