From c9721197d5adb70a5086ecd320a1e3745bcaacc7 Mon Sep 17 00:00:00 2001 From: ayan george Date: Thu, 28 Sep 2023 12:56:10 -0400 Subject: [PATCH] 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. --- Makefile => GNUmakefile | 0 docs/{Makefile => GNUmakefile} | 0 src/examples/wasm/{Makefile => GNUmakefile} | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename Makefile => GNUmakefile (100%) rename docs/{Makefile => GNUmakefile} (100%) rename src/examples/wasm/{Makefile => GNUmakefile} (100%) diff --git a/Makefile b/GNUmakefile similarity index 100% rename from Makefile rename to GNUmakefile diff --git a/docs/Makefile b/docs/GNUmakefile similarity index 100% rename from docs/Makefile rename to docs/GNUmakefile diff --git a/src/examples/wasm/Makefile b/src/examples/wasm/GNUmakefile similarity index 100% rename from src/examples/wasm/Makefile rename to src/examples/wasm/GNUmakefile