Skip to content

Commit

Permalink
revert risedev
Browse files Browse the repository at this point in the history
Signed-off-by: xxchan <xxchan22f@gmail.com>
  • Loading branch information
xxchan committed Apr 12, 2024
1 parent 33aa178 commit f001e31
Showing 1 changed file with 2 additions and 7 deletions.
9 changes: 2 additions & 7 deletions risedev
Original file line number Diff line number Diff line change
Expand Up @@ -17,12 +17,7 @@ if [ $# -eq 0 ] || [ "$1" == "-h" ] || [ "$1" == "--help" ]; then
exit 0
fi

cargo make --allow-private configure-if-not-configured
# We marked many tasks as private, so we can have a more concise output when listing all tasks.
# But we allow private tasks to be executed.
CARGO_MAKE_OPTS=(--allow-private)
if [ "$RISEDEV_HIDE_CARGO_MAKE_LOG" == "true" ]; then
CARGO_MAKE_OPTS=("${CARGO_MAKE_OPTS[@]}" --loglevel off)
fi

cargo make "${CARGO_MAKE_OPTS[@]}" configure-if-not-configured
cargo make "${CARGO_MAKE_OPTS[@]}" "$@"
cargo make --allow-private "$@"

0 comments on commit f001e31

Please sign in to comment.