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 501068 - Uses make instead of $(MAKE)
Uses make instead of $(MAKE)
Status: RESOLVED FIXED
Product: pitivi
Classification: Other
Component: General
Git
Other Linux
: Normal trivial
: 0.11.2
Assigned To: Pitivi maintainers
Pitivi maintainers
Depends on:
Blocks:
 
 
Reported: 2007-12-02 17:45 UTC by Loïc Minier
Modified: 2007-12-03 12:22 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Use $(MAKE) instead of make in Makefile.am (943 bytes, patch)
2007-12-02 17:45 UTC, Loïc Minier 		committed Details | Review

Description Loïc Minier 2007-12-02 17:45:30 UTC 
Hi,

Please use $(MAKE) instead of make in custom make rules as to pass flags (such as -j) and avoid warnings; thanks!

Will attach a patch for Makefile.am.

Bye,
Comment 1 Loïc Minier 2007-12-02 17:45:58 UTC 
Created attachment 100052 [details] [review]
Use $(MAKE) instead of make in Makefile.am
Comment 2 Edward Hervey 2007-12-03 12:22:21 UTC 
Thanks,

2007-12-02  Loïc Minier  <lool@dooz.org>

	Reviewed by : Edward Hervey <bilboed@bilboed.com>
	* Makefile.am:
	Fix locale-uninstalled rule to use $(MAKE) instead of make.
	Fixes #501068