diff options
Diffstat (limited to 'rubbos/rubbos_scripts/1-1-1/scripts/CLIENT3_configure.sh')
| -rwxr-xr-x | rubbos/rubbos_scripts/1-1-1/scripts/CLIENT3_configure.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rubbos/rubbos_scripts/1-1-1/scripts/CLIENT3_configure.sh b/rubbos/rubbos_scripts/1-1-1/scripts/CLIENT3_configure.sh index 6fb9d8b0..4b71136c 100755 --- a/rubbos/rubbos_scripts/1-1-1/scripts/CLIENT3_configure.sh +++ b/rubbos/rubbos_scripts/1-1-1/scripts/CLIENT3_configure.sh @@ -20,7 +20,7 @@ chmod ug+x $RUBBOS_HOME/bench/*.sh #build clients echo "COMPILING RUBBOS CLIENT on $HOSTNAME" cd $RUBBOS_HOME/Client -make clean -make +make clean >/dev/null +make >/dev/null 2>&1 echo "DONE CONFIGURING RUBBOS CLIENT on $HOSTNAME" |