summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-03-04 06:11:30 +0900
committerNorbert Preining <norbert@preining.info>2020-03-04 06:11:30 +0900
commit9c2c51936dc1a1339450ee8f8aba16c9aba74967 (patch)
tree6a319d2e9224948d845ad08f6912e0b8ef8eb3f1
parent2e534b9ffb3421c40d27dee5161efd3ce8883256 (diff)
fix update.sh
-rw-r--r--update.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/update.sh b/update.sh
index ead29ba..154b23d 100644
--- a/update.sh
+++ b/update.sh
@@ -22,7 +22,7 @@ unset TEX_CATALOGUE
# update tlpdb
$TLCHECKOUT/Master/tlpkg/bin/tl-update-tlpdb \
- -with-w32-pattern-warning -from-git \
+ --w32-pattern-warning -from-git \
--master=`pwd`
$TLCHECKOUT/Master/tlpkg/bin/tl-update-containers \