diff --git a/bin/test.sh b/bin/test.sh index 5b2da558ae516c3a0aa2f0b98fa967eb0dd75e9e..090a2fbfd5478ae26df3713ce7340c5fb0757e6f 100755 --- a/bin/test.sh +++ b/bin/test.sh @@ -73,6 +73,7 @@ function Usage echo " -w|--wp-cache prepare (pull) WP-cache" echo " -l|--logs print output of tests (single file, no diff)" echo " -u|--update run tests and update oracles (and WP-cache)" + echo " -k|--commit commit new test oracles" echo " -s|--save save dune logs into $DUNE_LOG" echo " -v|--verbose print executed commands" echo " -j|--jobs <jobs> run no more than <jobs> commands simultaneously."