diff --git a/src/Makefile b/src/Makefile index 4b0bf0740..42f0ad016 100644 --- a/src/Makefile +++ b/src/Makefile @@ -236,4 +236,9 @@ src/help.h: @../utils/generate-command-help.rb > help.h install: all - @../utils/install_server.sh + mkdir -p $(INSTALL_BIN) + $(INSTALL) $(PRGNAME) $(INSTALL_BIN) + $(INSTALL) $(BENCHPRGNAME) $(INSTALL_BIN) + $(INSTALL) $(CLIPRGNAME) $(INSTALL_BIN) + $(INSTALL) $(CHECKDUMPPRGNAME) $(INSTALL_BIN) + $(INSTALL) $(CHECKAOFPRGNAME) $(INSTALL_BIN) diff --git a/utils/install_server.sh b/utils/install_server.sh index eed1e2513..71c57d70d 100755 --- a/utils/install_server.sh +++ b/utils/install_server.sh @@ -47,7 +47,7 @@ echo "This script will help you easily set up a running redis server #check for root user TODO: replace this with a call to "id" if [ `whoami` != "root" ] ; then - echo "ERROR: You must run this installation script as root. Sorry!\n" + echo "You must run this script as root. Sorry!" exit 1 fi