Browse Source

bulid: Rename Makefile to GNUmakefile

Prior to this commit, the build instructions were encoded in Makefiles
that contained GNU extensions that are unique to GNU Make and
incompatible with older implementations.

Thie commit renames all Makefiles to GNUmakefile which clearly denotes
that the file contains GNU extensions.

GNU Make actually first looks for a GNUmakefile, then makefile, THEN
Makefile so in addition to simply being more correct and portable, it
saves a few unnecessary failed attempts to open the correct build
file.

pull/3914/head

ayan george 1 year ago

committed by Ayke

parent

738747bd05

commit

c9721197d5

3 changed files with 0 additions and 0 deletions

Whitespace

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Split View

Diff Options

Show Stats Download Patch File Download Diff File

1. 0
     GNUmakefile
2. 0
     docs/GNUmakefile
3. 0
     src/examples/wasm/GNUmakefile

0

Makefile → GNUmakefile

View File

0

docs/Makefile → docs/GNUmakefile

View File

0

src/examples/wasm/Makefile → src/examples/wasm/GNUmakefile

View File

Write Preview

Loading…

Cancel

Save