Skip to content
Snippets Groups Projects

Use gmake for BSD systems

Merged Yiyun Liu requested to merge yiyunliu/stdpp:bsd-fix into master

This PR modifies the make-package script so it runs on systems whose default make executable is BSD Make rather than GNU Make. It checks the os type and decides whether to run gmake or make. This is exactly how opam determines which make executable to use.

I also changed the script to use sh instead of bash because make-package doesn't seem to depend on bash-specific features and sh has a more standard path.

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply
Loading