From 8ff5d1ae93b1fb7b1324093240b08d575b0d90b0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 4 Jan 2007 13:17:40 +0000 Subject: [PATCH] Makefile tweak: Detection of Cygwin when OSTYPE=posix. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@211 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prism/Makefile b/prism/Makefile index dc874c9c..36669f6a 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -31,6 +31,10 @@ ifdef OSTYPE ifneq (,$(findstring cygwin, $(OSTYPE))) OSTYPE = cygwin endif + # For Cygwin , OSTYPE is sometimes set to "posix" + ifneq (,$(findstring posix, $(OSTYPE))) + OSTYPE = cygwin + endif ifneq (,$(findstring darwin, $(OSTYPE))) OSTYPE = darwin endif