Acknowledge that we're using GNU make's dialect and rename appropriate

Makefiles to GNUmakefiles so that non-GNU make(1) will error out. This should be a transparent change to the universe of people using GNU make.
ysmazda · Feb 5, 2016 · 71d02d2 · 71d02d2
1 parent 0cb4318
commit 71d02d2
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/Makefile → GNUmakefile b/Makefile → GNUmakefile
diff --git a/ui/Makefile → ui/GNUmakefile b/ui/Makefile → ui/GNUmakefile