Remove old sh-ism (#920)

The x prefix thing hasn't been needed for quite some time, especially if you are declaring that you want to use bash.
2020-05-14 03:53:38 -07:00 · 2020-05-14 03:53:38 -07:00 · ec6549748b
parent 57b14591f9
commit ec6549748b
1 changed files with 1 additions and 1 deletions
--- a/Examples/test_script_mode.sh
+++ b/Examples/test_script_mode.sh
@ -1,6 +1,6 @@
 #!/usr/bin/env bash

-if [ x"$@" = x"quit" ]
+if [ "$*" = "quit" ]
 then
    exit 0
 fi