diff options
Diffstat (limited to 'dist-4-fix-printf.patch')
| -rw-r--r-- | dist-4-fix-printf.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/dist-4-fix-printf.patch b/dist-4-fix-printf.patch new file mode 100644 index 0000000..e596284 --- /dev/null +++ b/dist-4-fix-printf.patch @@ -0,0 +1,16 @@ +diff --git a/contrib/ocs b/contrib/ocs +index e924f4f..bd556b4 100755 +--- a/contrib/ocs ++++ b/contrib/ocs +@@ -210,7 +210,7 @@ exp_inc() + then + for i in `cat ${theInc}` + do +- printf "-I $i " ++ printf -- "-I $i " + done + fi + } +-- +2.26.2 + |