diff options
author | ayan george <[email protected]> | 2023-09-28 12:56:10 -0400 |
---|---|---|
committer | Ayke <[email protected]> | 2023-10-01 14:55:34 +0200 |
commit | c9721197d5adb70a5086ecd320a1e3745bcaacc7 (patch) | |
tree | 832fcd55f96207956381edf31852b8a4877bc71a /docs | |
parent | 738747bd0589ff304e17d2b3efd6f3dbf88ad809 (diff) | |
download | tinygo-c9721197d5adb70a5086ecd320a1e3745bcaacc7.tar.gz tinygo-c9721197d5adb70a5086ecd320a1e3745bcaacc7.zip |
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.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/GNUmakefile (renamed from docs/Makefile) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/GNUmakefile index fb389bebe..fb389bebe 100644 --- a/docs/Makefile +++ b/docs/GNUmakefile |