diff -upr sbcl-1.3.1.orig/make-target-contrib.sh sbcl-1.3.1/make-target-contrib.sh
--- sbcl-1.3.1.orig/make-target-contrib.sh	2016-04-06 13:29:37.339769604 +0200
+++ sbcl-1.3.1/make-target-contrib.sh	2016-04-06 13:29:51.246113373 +0200
@@ -130,5 +130,5 @@ EOF
 done
 
 if [ $HEADER_HAS_BEEN_PRINTED = true ]; then
-  exit 1
+  exit 0
 fi