Skip to content

Commit

Permalink
check_size.sh: Allow running script from other dirs (#108)
Browse files Browse the repository at this point in the history
Allow running the script from the root (or any other directory), as
misunderstood from the documentation when referring to the file using
its full path.
  • Loading branch information
ptosi committed Jul 21, 2022
1 parent 51c8ba9 commit 86edf6d
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions example_no_std/check_size.sh
@@ -1,6 +1,8 @@
#!/bin/bash
set -e

cd "$(dirname "$(realpath $0)")"

# checks the size of the resulting --release level binary (that's been stripped)

cargo build --release
Expand Down

0 comments on commit 86edf6d

Please sign in to comment.