Fix 'touch' in case there is no file with the given extension

Change-Id: I21ab3c2467ccaf62ab7d54ec704b7fb3825b0cbc

diff --git a/mk_delta/common/bin/mk_delta.sh b/mk_delta/common/bin/mk_delta.sh
index 4f50e77..3785ebb 100755 (executable)
--- a/mk_delta/common/bin/mk_delta.sh
+++ b/mk_delta/common/bin/mk_delta.sh
@@ -1,5 +1,9 @@
 #!/bin/bash
 
+# Enabling this option is needed to remove patterns from the argument list if
+# there are no matching files. Without this, "touch" would create the file
+# "*.ini" if there was no file that matched.
+shopt -s nullglob
 
 #==================
 # funtions