From e2d586ca3c4dbbc2dca32eb07069f5645d4007b6 Mon Sep 17 00:00:00 2001 From: Wayne Warthen Date: Tue, 27 Jul 2021 11:40:10 -0700 Subject: [PATCH] More Make and Build Tweaks --- Makefile | 2 +- Source/{HBIOS => RomDsk}/diskdefs | 0 Tools/Makefile.inc | 1 + 3 files changed, 2 insertions(+), 1 deletion(-) rename Source/{HBIOS => RomDsk}/diskdefs (100%) diff --git a/Makefile b/Makefile index 741e5ef7..f4c60c14 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,5 @@ all: + echo SHELL=$(SHELL) $(MAKE) --directory Tools/unix $(MAKE) --directory Source @@ -15,4 +16,3 @@ clobber: diff: $(MAKE) --directory Source diff - diff --git a/Source/HBIOS/diskdefs b/Source/RomDsk/diskdefs similarity index 100% rename from Source/HBIOS/diskdefs rename to Source/RomDsk/diskdefs diff --git a/Tools/Makefile.inc b/Tools/Makefile.inc index 32ad2bb0..675535b9 100644 --- a/Tools/Makefile.inc +++ b/Tools/Makefile.inc @@ -123,6 +123,7 @@ endif # first target is default # all:: $(OBJECTS) + echo SHELL=$(SHELL) @for dir in $(SUBDIRS) ; do \ $(MAKE) --directory $$dir all ; \ done