X-Git-Url: https://git.donarmstrong.com/?p=spamassassin_config.git;a=blobdiff_plain;f=update_spamassassin;h=00c540f48d05306f3b822b387d545415187c9c62;hp=f9e02d65a0e2a3499e8cca6eaaf6401ac26fb3a1;hb=05eda589302202d16da09d6ec493c8d09cfbd2aa;hpb=e5450158fb8062de70e9ce05c6a2b12fc8c5113b

diff --git a/update_spamassassin b/update_spamassassin
index f9e02d6..00c540f 100755
--- a/update_spamassassin
+++ b/update_spamassassin
@@ -89,6 +89,7 @@ if [ "$HOSTNAME" == "rietz" ]; then
     touch /home/debbugs/.spamassassin/user_prefs
 elif [ "$HOSTNAME" == "murphy" ]; then
     # do nothing
+    true;
 else
     echo "Unknown hostname '$HOSTNAME'";
     exit 1;