diff --git a/minimal/do b/minimal/do
index 9fe0c01..5f20bb8 100755
--- a/minimal/do
+++ b/minimal/do
@@ -94,7 +94,7 @@ _run_dofile()
 	export REDO_TARGET=$PWD/$target
 	local line1
 	set -e
-	read line1 <"$PWD/$dofile"
+	read line1 <"$PWD/$dofile" || true
 	cmd=${line1#"#!/"}
 	if [ "$cmd" != "$line1" ]; then
 		/$cmd "$PWD/$dofile" "$@" >"$tmp.tmp2"