diff options
| -rw-r--r-- | Makefile.top | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.top b/Makefile.top index d6a324bb7fc5..715a7a80e8e0 100644 --- a/Makefile.top +++ b/Makefile.top @@ -477,6 +477,13 @@ endif dev-install-nocheck : export SKIP_TESTS := YES dev-install-nocheck : dev-install +dev-update: +ifeq ($(DISABLE_LINKOO),TRUE) + @linkoo --copy $(DEVINSTALLDIR)/opt $(SRCDIR) +else + @linkoo $(DEVINSTALLDIR)/opt $(SRCDIR) +endif + install-tb: @rm -rf $(DEVINSTALLDIR) @mkdir $(DEVINSTALLDIR) |