diff options
| -rw-r--r-- | samples/samples.mk | 7 | ||||
| -rw-r--r-- | scripts/scripts.mk | 3 |
2 files changed, 8 insertions, 2 deletions
diff --git a/samples/samples.mk b/samples/samples.mk index bc769abf..18b126a5 100644 --- a/samples/samples.mk +++ b/samples/samples.mk @@ -47,8 +47,13 @@ wiki-samples: # ---------------------------------------------------------- # This part deals with saving/restoring samples +PHONY += samples +samples: + @$(ECHO) ' MKDIR $@' + $(SILENT)mkdir -p $@ + # Save a sample -saveconfig: +saveconfig: .config samples $(SILENT)$(CT_LIB_DIR)/scripts/saveSample.sh # The 'sample_dir' function prints the directory in which the sample is, diff --git a/scripts/scripts.mk b/scripts/scripts.mk index 7b215402..8373f9bf 100644 --- a/scripts/scripts.mk +++ b/scripts/scripts.mk @@ -33,7 +33,8 @@ endif PHONY += scripts scripts: - $(SILENT)mkdir -p scripts + @$(ECHO) ' MKDIR $@' + $(SILENT)mkdir -p $@ $(CONFIG_SUB_DEST): scripts FORCE @$(ECHO) ' WGET $@' |