Redirect BSD make to GNU make

12 years ago · 8b520cf4de
parent d4be8c3e38
commit 8b520cf4de
1 changed files with 6 additions and 0 deletions
--- a/extra/pki/BSDmakefile
+++ b/extra/pki/BSDmakefile
@ -0,0 +1,6 @@
+USE_GNU:
+	@gmake $(.TARGETS)
+
+$(.TARGETS): USE_GNU
+
+.PHONY: USE_GNU