From 2ce118435385aec2ea7d19a457b9df9239dc06c3 Mon Sep 17 00:00:00 2001
From: cxgeorge <>
Date: Sun, 26 May 2002 03:52:55 +0000
Subject: [PATCH] add PPREMAKE_PLATFORM

---
 ppremake/ppremake.cxx | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/ppremake/ppremake.cxx b/ppremake/ppremake.cxx
index 1245a6c715..d77553dddf 100644
--- a/ppremake/ppremake.cxx
+++ b/ppremake/ppremake.cxx
@@ -98,7 +98,7 @@ report_version() {
 
 static void
 report_platform() {
-  cerr << "ppremake built for platform " << PLATFORM << ".\n";
+  cerr << "ppremake built for default platform " << PLATFORM << ".\n";
 }
 
 ////////////////////////////////////////////////////////////////////
@@ -216,7 +216,13 @@ main(int argc, char *argv[]) {
   bool dependencies_stale = false;
   bool report_depends = false;
   bool report_reverse_depends = false;
-  string platform = PLATFORM;
+
+  string platform;
+  char *platform_env = getenv("PPREMAKE_PLATFORM");
+  if(platform_env==NULL) 
+     platform=PLATFORM;
+    else platform=platform_env;
+
   string ppremake_config;
   bool got_ppremake_config = false;
   string sed_command;