From 8535ae52b866ee96465798790a52891e3e36cbbd Mon Sep 17 00:00:00 2001 From: Oleg Semyonov Date: Wed, 18 May 2011 22:03:10 +0300 Subject: [PATCH] OP-483: rename win32 to winx86 (it works on 64-bit too) --- release/Makefile | 2 +- release/{Makefile.win32 => Makefile.winx86} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename release/{Makefile.win32 => Makefile.winx86} (100%) diff --git a/release/Makefile b/release/Makefile index 3b4d4e5d5..fdfa427a2 100644 --- a/release/Makefile +++ b/release/Makefile @@ -132,7 +132,7 @@ MAKEFLAGS += --no-print-directory endif # Platform-dependent stuff -PLATFORM := win32 +PLATFORM := winx86 UNAME := $(shell uname) ifeq ($(UNAME), Linux) PLATFORM := linux diff --git a/release/Makefile.win32 b/release/Makefile.winx86 similarity index 100% rename from release/Makefile.win32 rename to release/Makefile.winx86