From f2a5b6614cb6ae9231326f4d44a9508af46d27b1 Mon Sep 17 00:00:00 2001
From: katjav <katjavetter@gmail.com>
Date: Sun, 15 Dec 2019 21:47:41 +0100
Subject: [PATCH] Add target 'dumpmachine' for verification purposes

---
 Makefile.pdlibbuilder | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Makefile.pdlibbuilder b/Makefile.pdlibbuilder
index 73e11ba..dbdf120 100644
--- a/Makefile.pdlibbuilder
+++ b/Makefile.pdlibbuilder
@@ -1297,6 +1297,16 @@ help:
 	@echo
 
 
+#=== platform test =============================================================
+
+
+# This target can be used to test if the compiler for specified PLATFORM is
+# correctly defined and available.
+
+dumpmachine:
+	@$(CC) -dumpmachine
+
+
 #=== dummy target ==============================================================