summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index d3088d24161..2d6429c0127 100644
--- a/Makefile
+++ b/Makefile
@@ -173,10 +173,12 @@ ifeq ("$(wildcard $(STARTUP_CONF))","")
define run
@echo "WARNING: STARTUP_CONF not defined or file doesn't exist."
@echo " Running with minimal startup config: $(MINIMAL_STARTUP_CONF)\n"
+ @sudo rm -f /dev/shm/vpe-api /dev/shm/db /dev/shm/global_vm
@cd $(STARTUP_DIR) && sudo $(1) $(MINIMAL_STARTUP_CONF)
endef
else
define run
+ @sudo rm -f /dev/shm/vpe-api /dev/shm/db /dev/shm/global_vm
@cd $(STARTUP_DIR) && sudo $(1) -c $(STARTUP_CONF)
endef
endif