Use the new install script as make install target. Message about install script requi...

diff --git a/src/Makefile b/src/Makefile
index 42f0ad0160c268e5566f1dd1178a36ac3aa4878f..4b0bf074091f06f3b219fd37fe53403a516a7ce8 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -236,9 +236,4 @@ src/help.h:
        @../utils/generate-command-help.rb > help.h
 
 install: all
        @../utils/generate-command-help.rb > help.h
 
 install: all

-       mkdir -p $(INSTALL_BIN)
-       $(INSTALL) $(PRGNAME) $(INSTALL_BIN)
-       $(INSTALL) $(BENCHPRGNAME) $(INSTALL_BIN)
-       $(INSTALL) $(CLIPRGNAME) $(INSTALL_BIN)
-       $(INSTALL) $(CHECKDUMPPRGNAME) $(INSTALL_BIN)
-       $(INSTALL) $(CHECKAOFPRGNAME) $(INSTALL_BIN)
+       @../utils/install_server.sh

diff --git a/utils/install_server.sh b/utils/install_server.sh
index 71c57d70dd68ed3933649ca9d70557ad85239768..eed1e2513bc40fc5bed69f60e7ad28f57cce1db2 100755 (executable)
--- 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
 
 #check for root user TODO: replace this with a call to "id"
 if [ `whoami` != "root" ] ; then

-       echo "You must run this script as root. Sorry!"
+       echo "ERROR: You must run this installation script as root. Sorry!\n"

        exit 1
 fi
 
        exit 1
 fi