Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

make: cleanups #1776

Merged
merged 5 commits into from
May 3, 2024
Merged

make: cleanups #1776

merged 5 commits into from
May 3, 2024

Commits on May 3, 2024

  1. make: fix target error error 

    Using tabs to indent lines that are not part of a rule recipe is a mistake.
    @benoit-pierre
    benoit-pierre committed May 3, 2024
    Configuration menu
    Copy the full SHA
    012a3c1 View commit details
    Browse the repository at this point in the history

  2. make: minor cleanup 

    Drop reference to dead variable: `SHARED_STL_LINK_FLAG`.
    @benoit-pierre
    benoit-pierre committed May 3, 2024
    Configuration menu
    Copy the full SHA
    e88e441 View commit details
    Browse the repository at this point in the history

  3. make: minor cleanups 

    - reduce the number of `$(shell …)` calls
- fix variable name typo
    @benoit-pierre
    benoit-pierre committed May 3, 2024
    Configuration menu
    Copy the full SHA
    0267e1b View commit details
    Browse the repository at this point in the history

  4. make: fix lpeg rockspec path

    @benoit-pierre
    benoit-pierre committed May 3, 2024
    Configuration menu
    Copy the full SHA
    e7c8df0 View commit details
    Browse the repository at this point in the history

  5. make: restrict info traces to the main Makefile 

    Avoid duplicates when `Makefile.def` is included by the parent project.
    @benoit-pierre
    benoit-pierre committed May 3, 2024
    Configuration menu
    Copy the full SHA
    6968565 View commit details
    Browse the repository at this point in the history