build: Add an official option for the static build.

Authored by lepagevalleeemmanuel on Feb 17 2019, 8:35 PM.

Description

build: Add an official option for the static build.

Instead of patching main.cpp in the CI

Details

Committed
lepagevalleeemmanuelFeb 17 2019, 8:35 PM
Parents
R479:099e6ae68c7c: banji: Remove the "bookmark" star from the header.
Branches
Unknown
Tags
Unknown