diff options
Diffstat (limited to 'support')
| -rw-r--r-- | support/Makefile.devel | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/support/Makefile.devel b/support/Makefile.devel index 2c6d862e..e9b039b8 100644 --- a/support/Makefile.devel +++ b/support/Makefile.devel @@ -157,9 +157,14 @@ xml: $(polxml) # # Load module packages # -load: $(all_packages) + +load: tmp/loaded + +tmp/loaded reload: $(all_packages) @$(EINFO) "Loading $(NAME) modules: $(basename $(notdir $(all_packages)))" $(verbose) $(SEMODULE) $(foreach mod,$^,-i $(mod)) + @mkdir -p tmp + @touch tmp/loaded ######################################## # |