]> WPIA git - gigi.git/commit
projects / gigi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ccac61f) | patch
upd: native Makefile improvements
authorLucas Werkmeister <mail@lucaswerkmeister.de>
Fri, 9 Sep 2016 20:19:31 +0000 (22:19 +0200)
committerLucas Werkmeister <mail@lucaswerkmeister.de>
Sat, 10 Sep 2016 07:48:10 +0000 (09:48 +0200)
commit5ea2f92d90210c2f6254b216aa4863635d3ae645
tree999afced8eca79a8fa5f7f4453a2c08fe6d22feetree | snapshot
parentccac61faa88e98f12aaa3b5c5e64d26f3fc003c9commit | diff
upd: native Makefile improvements

- Remove optimization. We don't need it, and -O3 in particular can
  introduce bugs.
- Move -I directives to preprocessor flags.
- Add a separate goal for the header file instead of using shell &&.
- Use the special variable $(RM) to remove files, and ignore failures if
  some files don't exist.

Change-Id: Icb7bd684bae6bdb860712a4e24d880b265db292a
natives/Makefile diff | blob | history
WPIA Certificate Web Issuance Platform