diff options
| -rw-r--r-- | config-ml.in | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/config-ml.in b/config-ml.in index 47f1533..9177fe6 100644 --- a/config-ml.in +++ b/config-ml.in @@ -486,10 +486,8 @@ cat > Multi.tem <<\EOF PWD_COMMAND=$${PWDCMD-pwd} -# FIXME: There should be an @-sign in front of the `if'. -# Leave out until this is tested a bit more. multi-do: - if [ -z "$(MULTIDIRS)" ]; then \ + @if [ -z "$(MULTIDIRS)" ]; then \ true; \ else \ rootpre=`${PWD_COMMAND}`/; export rootpre; \ @@ -533,10 +531,8 @@ multi-do: done; \ fi -# FIXME: There should be an @-sign in front of the `if'. -# Leave out until this is tested a bit more. multi-clean: - if [ -z "$(MULTIDIRS)" ]; then \ + @if [ -z "$(MULTIDIRS)" ]; then \ true; \ else \ lib=`${PWD_COMMAND} | sed -e 's,^.*/\([^/][^/]*\)$$,\1,'`; \ |