diff options
| -rw-r--r-- | odk/settings/settings.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odk/settings/settings.mk b/odk/settings/settings.mk index fc169028e9c2..816397bef8f4 100644 --- a/odk/settings/settings.mk +++ b/odk/settings/settings.mk @@ -219,7 +219,7 @@ endif # Linux specific settings # ########################################################################### -ifeq "$(PLATFORM)" "linux-gnu" +ifneq (,$(findstring linux,$(PLATFORM))) # Settings for Linux using gcc compiler PROCTYPE := $(shell $(PRJ)/config.guess | cut -d "-" -f1 | sed -e 's/^i.86$$/i386/') |