pipe push/popd to dev null
This commit is contained in:
parent
c2a7c08c31
commit
c3c3863aad
1 changed files with 2 additions and 2 deletions
|
|
@ -1,9 +1,9 @@
|
||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
pushd "$(dirname "$(readlink -f "$0")")"/.. || exit
|
pushd "$(dirname "$(readlink -f "$0")")"/.. > /dev/null || exit
|
||||||
|
|
||||||
mkdir -p build
|
mkdir -p build
|
||||||
touch build/lock
|
touch build/lock
|
||||||
dart scripts/generate.dart
|
dart scripts/generate.dart
|
||||||
rm build/lock
|
rm build/lock
|
||||||
|
|
||||||
popd || exit
|
popd > /dev/null || exit
|
||||||
Loading…
Add table
Add a link
Reference in a new issue