Merge pull request #1112 from gwenn/script

Fix shell scripts
This commit is contained in:
gwenn 2022-01-16 09:16:56 +01:00 committed by GitHub
commit 94437ed17f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 6 deletions

View File

@ -1,7 +1,6 @@
#!/bin/bash -e
#!/bin/sh -e
SCRIPT_DIR=$(cd "$(dirname "$_")" && pwd)
CUR_DIR=$(pwd -P)
SCRIPT_DIR=$(cd "$(dirname "$0")" && pwd)
echo "$SCRIPT_DIR"
cd "$SCRIPT_DIR" || { echo "fatal error" >&2; exit 1; }
cargo clean

View File

@ -1,7 +1,6 @@
#!/bin/bash -e
#!/bin/sh -e
SCRIPT_DIR=$(cd "$(dirname "$_")" && pwd)
CUR_DIR=$(pwd -P)
SCRIPT_DIR=$(cd "$(dirname "$0")" && pwd)
echo "$SCRIPT_DIR"
cd "$SCRIPT_DIR" || { echo "fatal error" >&2; exit 1; }
cargo clean