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

Makefile: strip debug symbols by default #363

Merged
merged 1 commit into from
Apr 20, 2020
Merged

Makefile: strip debug symbols by default #363

merged 1 commit into from
Apr 20, 2020

Commits on Apr 20, 2020

  1. Makefile: parse GAIA_BUILD_OPTIONS 

    Look for build otpions in the make's GAIA_BUILD_OPTIONS
variable, e.g.:

$ make install GAIA_BUILD_OPTIONS=nostrip

would customise the build and remove all symbols-stripping flags
from both LDFLAGS and compiler's command line.

Replace WITH_CLEVELDB variable with a cleveldb build option.

Strip debug symbols by default.
    Alessio Treglia committed Apr 20, 2020
    Configuration menu
    Copy the full SHA
    88234d5 View commit details
    Browse the repository at this point in the history