From 691856f2947c665c1870167d054341778465afea Mon Sep 17 00:00:00 2001
From: Martin Stjernholm <mast@lysator.liu.se>
Date: Sat, 25 Apr 2009 23:30:26 +0200
Subject: [PATCH] Made it possible to override $(OS) with an environment
 variable $PIKE_BUILD_OS.

---
 .gitattributes | 1 -
 Makefile       | 4 ++--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/.gitattributes b/.gitattributes
index 9fe1380ce0..f2a6e312d9 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -26,7 +26,6 @@ testfont binary
 # Remove the corresponding line before committing
 # changes to these files.
 /ANNOUNCE foreign_ident
-/Makefile foreign_ident
 /README-CVS foreign_ident
 /README-CVS.txt foreign_ident
 /bin/extract.pike foreign_ident
diff --git a/Makefile b/Makefile
index 7a8e58ac40..f28d242563 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile,v 1.169 2009/11/30 13:14:07 mast Exp $
+# $Id$
 #
 # Meta Makefile
 #
@@ -19,7 +19,7 @@
 
 # Tip: Remove "-r" from the line below if you don't want to rebuild
 # from scratch every time you upgrade the kernel.
-OS=`uname -s -r -m|sed \"s/ /-/g\"|tr \"[A-Z]\" \"[a-z]\"|tr \"/()\" \"___\"`
+OS=$${PIKE_BUILD_OS:-`uname -s -r -m|sed \"s/ /-/g\"|tr \"[A-Z]\" \"[a-z]\"|tr \"/()\" \"___\"`}
 
 VPATH=.
 BUILDDIR=build/$(OS)
-- 
GitLab