< prev index next >

make/linux/makefiles/buildtree.make

Print this page

        

@@ -68,10 +68,12 @@
 else
   ifdef USE_SUNCC
     PLATFORM_FILE = $(GAMMADIR)/make/$(OS_FAMILY)/platform_$(BUILDARCH).suncc
   else
     PLATFORM_FILE = $(GAMMADIR)/make/$(OS_FAMILY)/platform_$(BUILDARCH)
+    ALT_PLATFORM_FILE = $(HS_ALT_MAKE)/$(OS_FAMILY)/platform_$(BUILDARCH)
+    PLATFORM_FILE := $(if $(wildcard $(ALT_PLATFORM_FILE)),$(ALT_PLATFORM_FILE),$(PLATFORM_FILE))
   endif
 endif
 
 # Allow overriding of the arch part of the directory but default
 # to BUILDARCH if nothing is specified

@@ -200,11 +202,11 @@
 flags.make: $(BUILDTREE_MAKE) ../shared_dirs.lst
         @echo Creating $@ ...
         $(QUIETLY) ( \
         $(BUILDTREE_COMMENT); \
         echo; \
-        echo "Platform_file = $(PLATFORM_FILE)" | sed 's|$(GAMMADIR)|$$(GAMMADIR)|'; \
+        echo "Platform_file = $(PLATFORM_FILE)" | sed -e 's|$(HS_ALT_MAKE)|$$(HS_ALT_MAKE)|' -e 's|$(GAMMADIR)|$$(GAMMADIR)|'; \
         sed -n '/=/s/^ */Platform_/p' < $(PLATFORM_FILE); \
         echo; \
         echo "GAMMADIR = $(GAMMADIR)"; \
         echo "HS_ALT_MAKE = $(HS_ALT_MAKE)"; \
         echo "OSNAME = $(OSNAME)"; \
< prev index next >