Opened 9 years ago

Closed 9 years ago

#3867 closed enhancement (fixed)

[PATCH] scripts/feeds fix for non-linux hosts

Reported by: rizzo@… Owned by: developers
Priority: normal Milestone:
Component: other Version:
Keywords: Cc: rizzo@…


scripts/feeds calls 'make' directly, which fails when
make != GNU make.

The attached patch to scripts/feeds fixes the problem by using
gmake if available, and defaulting to 'make' otherwise.

Attachments (1)

feeds.diff (1.8 KB) - added by rizzo@… 9 years ago.
scripts/feeds patch

Download all attachments as: .zip

Change History (2)

Changed 9 years ago by rizzo@…

scripts/feeds patch

comment:1 Changed 9 years ago by florian

  • Resolution set to fixed
  • Status changed from new to closed

Applied in [12246], thanks !

Add Comment

Modify Ticket

as closed .
The resolution will be deleted. Next status will be 'reopened'.

E-mail address and user name can be saved in the Preferences.

Note: See TracTickets for help on using tickets.