diff --git a/Makefile b/Makefile index f116e2dd9b83e948abe00b80cd3ea50719211572..0a3202aefa849c6312cddb262799e918cbc8f2be 100644 --- a/Makefile +++ b/Makefile @@ -604,7 +604,12 @@ $(SUBDIRS_INSTALL): NEWMODS:=$(foreach d,$(MOD_SUBDIRS),$(notdir $(wildcard $(d)/*.so))) OLDMODS=$(filter-out $(NEWMODS) $(notdir $(DESTDIR)$(ASTMODDIR)),$(notdir $(wildcard $(DESTDIR)$(ASTMODDIR)/*.so))) -BADMODS=$(strip $(filter-out $(shell ./build_tools/list_valid_installed_externals),$(OLDMODS))) +ifneq ($(BASH),:) + FILMODS=$(filter-out $(shell ./build_tools/list_valid_installed_externals),$(OLDMODS)) +else + FILMODS=$(OLDMODS) +endif +BADMODS=$(strip $(FILMODS)) oldmodcheck: @if [ -n "$(BADMODS)" ]; then \