Fix the situation where git does not give us filenames.

2019-04-10 18:05:29 -07:00
parent ec81932335
commit fbd9755105
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -3,8 +3,8 @@
 set -euo pipefail

 name="$1"
-f1="$2"
-f2="$5"
+f1="${2-/dev/null}"
+f2="${5-/dev/null}"

 name1="a/$name"
 name2="b/$name"