Add scripts/publish.sh

rust-fuzz · Jun 10, 2024 · a88bd95 · a88bd95
1 parent a5db685
commit a88bd95
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/scripts/publish.sh b/scripts/publish.sh
@@ -0,0 +1,15 @@
+#! /bin/bash
+
+# set -x
+set -euo pipefail
+
+if [[ $# -ne 0 ]]; then
+    echo "$0: expect no arguments" >&2
+    exit 1
+fi
+
+for X in afl cargo-afl; do
+    pushd "$X"
+    cargo publish
+    popd
+done