Remove -x from generate-ckpt.sh script

2023-04-12 02:00:27 -07:00
parent f28d114f12
commit f7f979ec15
1 changed files with 1 additions and 1 deletions
--- a/scripts/generate-ckpt.sh
+++ b/scripts/generate-ckpt.sh
@@ -1,6 +1,6 @@
 #!/bin/bash

-set -ex
+set -e

 usage() {
    echo "Usage: $0 [OPTIONS] -- [SPIKEFLAGS]"