0.9.8.13:

[sbcl.git] / binary-distribution.sh

diff --git a/binary-distribution.sh b/binary-distribution.sh
index 6054554..8266154 100755 (executable)
--- a/binary-distribution.sh
+++ b/binary-distribution.sh
@@ -1,4 +1,5 @@
 #!/bin/sh
+set -e
 
 # Create a binary distribution. (make.sh should be run first to create
 # the various binary files, and make-doc.sh should also be run to