Create a scripts folder

This commit is contained in:
Andrea Fioraldi 2021-05-20 14:17:14 +02:00
parent acc5ed42a2
commit f0b5ab5ef0
4 changed files with 34 additions and 4 deletions

View File

@ -59,9 +59,9 @@ jobs:
- name: Test Docs - name: Test Docs
run: cargo test --all-features --doc run: cargo test --all-features --doc
- name: Run clippy - name: Run clippy
run: ./clippy.sh run: ./scripts/clippy.sh
- name: Build fuzzers - name: Build fuzzers
run: ./build_all_fuzzers.sh run: ./scripts/build_all_fuzzers.sh
windows: windows:
runs-on: windows-latest runs-on: windows-latest
steps: steps:

View File

@ -1,4 +1,6 @@
#!/bin/sh #!/bin/bash
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
cd "$SCRIPT_DIR/.."
# TODO: This should be rewritten in rust, a Makefile, or some platform-independent language # TODO: This should be rewritten in rust, a Makefile, or some platform-independent language

View File

@ -1,4 +1,7 @@
#!/bin/sh #!/bin/bash
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
cd "$SCRIPT_DIR/.."
# Clippy checks # Clippy checks
if [ "$1" != "--no-clean" ]; then if [ "$1" != "--no-clean" ]; then
# Usually, we want to clean, since clippy won't work otherwise. # Usually, we want to clean, since clippy won't work otherwise.

25
scripts/publish.sh Executable file
View File

@ -0,0 +1,25 @@
#!/bin/bash
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
cd "$SCRIPT_DIR/.."
set -e
cd libafl_derive
cargo publish $@
cd ..
cd libafl_cc
cargo publish $@
cd ..
cd libafl
cargo publish $@
cd ..
cd libafl_targets
cargo publish $@
cd ..
cd libafl_frida
cargo publish $@
cd ..